302 articles – 345 references  [version française]
.:. Browse > List by year > 1993 .:.
1 document
Hypercoherences, a strongly stable model of linear logic
Ehrhard T.
Mathematical Structures in Computer Science 3, 4 (1993) 365-385 [hal-00527026 - version 1]