302 articles – 345 Notices  [english version]
.:. Consultation > Liste par année > 1997 .:.
1 document
Believe it or not, AJM's games model is a model of classical linear logic
Ehrhard T., Danos V., Baillot P.
In Proceedings of the twelvth Symposium on Logic in Computer Science - Logic in Computer Science, Poland (1997) [hal-00519846 - version 1]