Mathematical Structures in Computer Science
, Volume 2
Volume 2, Number 1, March 1992
A. John Power
,
Charles Wells
: A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. 1-28
BibTeX
Thomas Streicher
: Dependence and Independence Results for (Impredicative) Calculi of Dependent Types. 29-54
BibTeX
Pierre-Louis Curien
,
Giorgio Ghelli
: Coherence of Subsumption, Minimum Typing and Type-Checking in F
<=
. 55-91
BibTeX
Kimmo I. Rosenthal
: Girard Quantaloids. 93-108
BibTeX
Volume 2, Number 2, June 1992
Ernst Specker
: Engeler's Scientific Work. 111-117
BibTeX
Robin Milner
: Functions as Processes. 119-141
BibTeX
John C. Shepherdson
: Unfold/Fold Transformations of Logic Programs. 143-157
BibTeX
Joseph A. Goguen
: Sheaf Semantics for Concurrent Interacting Objects. 159-191
BibTeX
Solomon Feferman
: A New Approach to Abstract Data Types, I: Informal Development. 193-229
BibTeX
Kim B. Bruce
,
Roberto Di Cosmo
,
Giuseppe Longo
: Provable Isomorphisms of Types. 231-247
BibTeX
Volume 2, Number 3, September 1992
Robert F. C. Walters
: An Imperative Language Based on Distributive Categories. 249-256
BibTeX
Jan J. M. M. Rutten
: Processes as Terms: Non-Well-Founded Models for Bisimulation. 257-275
BibTeX
Wesley Phoa
: Building Domains from Graph Models. 277-299
BibTeX
John Hughes
,
John Launchbury
: Projections for Polymorphic First-Order Strictness Analysis. 301-326
BibTeX
Simone Martini
: Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. 327-357
BibTeX
Volume 2, Number 4, December 1992
Olivier Danvy
,
Andrzej Filinski
: Representing Control: A Study of the CPS Transformation. 361-391
BibTeX
J.-F. Giorgi
,
Daniel Le Métayer
: Continuation-Based Compilation of Functional Languages for Parallel Machines. 393-414
BibTeX
John Hannan
,
Dale Miller
: From Operational Semantics for Abstract Machines. 415-459
BibTeX
Philip Wadler
: Comprehending Monads. 461-493
BibTeX
Copyright ©
Sun May 17 00:14:16 2009 by
Michael Ley
(
ley@uni-trier.de
)