Abstract is missing.
- Categories and Effective ComputationsGiuseppe Rosolini. 1-11
- Polymorphism is Set Theoretic, ConstructivelyAndrew M. Pitts. 12-39
- An Equational Presentation of Higher Order LogicThierry Coquand, Thomas Ehrhard. 40-56
- Enriched Categories for Local and Interaction CalculiStefano Kasangian, Anna Labella, Alberto Pettorossi. 57-70
- The Category of Milner Processes is ExactDavid B. Benson. 71-97
- Relating Two Models of HardwareGlynn Winskel. 98-113
- Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification AlgorithmsDavid E. Rydeheard, John G. Stell. 114-139
- A Typed Lambda Calculus with Categorical Type ConstructorsTatsuya Hagino. 140-157
- Final Algebras, Cosemicomputable Algebras, and Degrees of UnsolvabilityLawrence S. Moss, José Meseguer, Joseph A. Goguen. 158-181
- Good Functors... are Those Preserving PhilosophyGilles Bernot. 182-195
- Viewing Implementations as an InstitutionChristoph Beierle, Angi Voß. 196-218
- An Interval Model for Second-Order Lambda CalculusSimone Martini. 219-237
- Logical Aspects of Denotational SemanticsEdmund Robinson. 238-253
- Connections Between Partial Maps Categories and Triops TheoryMaurizio Proietti. 254-269
- A Fixpoint Construction of the p-adic DomainSteven Vickers. 270-289
- A Category of Galois ConnectionsJ. M. McDill, Austin Melton, George E. Strecker. 290-300