Volume 3, Number 1, March 1993
- Douglas R. Troeger: Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. 25-62
- Adam Obtulowicz: Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions. 63-92
- Raymond Hoofman: The Theory of Semi-Functors. 93-128
Volume 3, Number 2, June 1993
- Paul Rozière: Admissible and Derivable Rules in Intuitionistic Logic. 129-136
- Joachim Lambek: Least Fixpoints of Endofunctors of Cartesian Closed Categories. 229-257
- Guo-Qiang Zhang: Some Monoidal Closed Categories of Stable Domains and Event Structures. 259-276
Volume 3, Number 3, September 1993
- J. Robin B. Cockett: Introduction to Distributive Categories. 277-307
- Stefano Berardi: An Application of PER Models to Program Extraction. 309-331
- Zhaohui Luo: Program Specification and Data Refinement in Type Theory. 333-363
Volume 3, Number 4, December 1993
- Thomas Ehrhard: Hypercoherences: A Strongly Stable Model of Linear Logic. 365-385
- Jon G. Riecke: Fully Abstract Translations Between Functional Languages. 387-415
- Peter W. O'Hearn: A Model for Syntactic Control of Interference. 435-465
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team