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
• 
  Thomas Streicher: Dependence and Independence Results for (Impredicative) Calculi of Dependent Types. 29-54
• 
  Pierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption, Minimum Typing and Type-Checking in F_<=. 55-91
• 
  Kimmo I. Rosenthal: Girard Quantaloids. 93-108

Volume 2, Number 2, June 1992

• 
  Ernst Specker: Engeler's Scientific Work. 111-117
• 
  Robin Milner: Functions as Processes. 119-141
• 
  John C. Shepherdson: Unfold/Fold Transformations of Logic Programs. 143-157
• 
  Joseph A. Goguen: Sheaf Semantics for Concurrent Interacting Objects. 159-191
• 
  Solomon Feferman: A New Approach to Abstract Data Types, I: Informal Development. 193-229
• 
  Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo: Provable Isomorphisms of Types. 231-247

Volume 2, Number 3, September 1992

• 
  Robert F. C. Walters: An Imperative Language Based on Distributive Categories. 249-256
• 
  Jan J. M. M. Rutten: Processes as Terms: Non-Well-Founded Models for Bisimulation. 257-275
• 
  Wesley Phoa: Building Domains from Graph Models. 277-299
• 
  John Hughes, John Launchbury: Projections for Polymorphic First-Order Strictness Analysis. 301-326
• 
  Simone Martini: Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. 327-357

Volume 2, Number 4, December 1992

• 
  Olivier Danvy, Andrzej Filinski: Representing Control: A Study of the CPS Transformation. 361-391
• 
  J.-F. Giorgi, Daniel Le Métayer: Continuation-Based Compilation of Functional Languages for Parallel Machines. 393-414
• 
  John Hannan, Dale Miller: From Operational Semantics for Abstract Machines. 415-459
• 
  Philip Wadler: Comprehending Monads. 461-493

last updated on Thu May 23 04:32:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page