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
Last update Sat May 18 20:47:20 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page