default search action
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 - 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 - Jean-Francois 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-08 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: