Stop the war!
Остановите войну!
for scientists:
default search action
Mathematical Structures in Computer Science, Volume 1
Volume 1, Number 1, March 1991
- Luca Cardelli, John C. Mitchell:
Operations on Records. 3-48 - Joseph A. Goguen:
A Categorical Manifesto. 49-67 - Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic. 69-101 - Eugenio Moggi:
A Cateogry-Theoretic Account of Program Modules. 103-139
Volume 1, Number 2, July 1991
- C. E. Martin, C. A. R. Hoare, Jifeng He:
Pre-Adjunctions in Order Enriched Categories. 141-158 - Michael Barr:
*-Autonomous Categories and Linear Logic. 159-178 - Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
Temporal Structures. 179-213 - Giuseppe Longo, Eugenio Moggi:
Constructive Natural Deduction and its 'Omega-Set' Interpretation. 215-254
Volume 1, Number 3, November 1991
- Jean-Yves Girard:
A New Constructive Logic: Classical Logic. 255-296 - Yves Lafont, Alain Prouté:
Church-Rosser Property and Homology of Monoids. 297-326 - Bart Jacobs:
Semantics of the Second Order Lambda Calculus. 327-360 - Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
Parallelism and Concurrency in High-Level Replacement Systems. 361-404
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.