default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 2

> Home > Journals > Mathematical Structures in Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2, Number 1, March 1992

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/PowerW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/PowerW92
A. John Power, Charles Wells:
A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. 1-28
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Streicher92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Streicher92
Thomas Streicher:
Dependence and Independence Results for (Impredicative) Calculi of Dependent Types. 29-54
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CurienG92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CurienG92
Pierre-Louis Curien, Giorgio Ghelli:
Coherence of Subsumption, Minimum Typing and Type-Checking in F_<=. 55-91
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Rosenthal92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Rosenthal92
Kimmo I. Rosenthal:
Girard Quantaloids. 93-108

Volume 2, Number 2, June 1992

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Specker92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Specker92
Ernst Specker:
Engeler's Scientific Work. 111-117
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Milner92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Milner92
Robin Milner:
Functions as Processes. 119-141
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Shepherdson92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Shepherdson92
John C. Shepherdson:
Unfold/Fold Transformations of Logic Programs. 143-157
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Goguen92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Goguen92
Joseph A. Goguen:
Sheaf Semantics for Concurrent Interacting Objects. 159-191
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Feferman92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Feferman92
Solomon Feferman:
A New Approach to Abstract Data Types, I: Informal Development. 193-229
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BruceCL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BruceCL92
Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo:
Provable Isomorphisms of Types. 231-247

Volume 2, Number 3, September 1992

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Walters92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Walters92
Robert F. C. Walters:
An Imperative Language Based on Distributive Categories. 249-256
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Rutten92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Rutten92
Jan J. M. M. Rutten:
Processes as Terms: Non-Well-Founded Models for Bisimulation. 257-275
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Phoa92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Phoa92
Wesley Phoa:
Building Domains from Graph Models. 277-299
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HughesL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HughesL92
John Hughes, John Launchbury:
Projections for Polymorphic First-Order Strictness Analysis. 301-326
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Martini92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Martini92
Simone Martini:
Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. 327-357

Volume 2, Number 4, December 1992

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DanvyF92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DanvyF92
Olivier Danvy, Andrzej Filinski:
Representing Control: A Study of the CPS Transformation. 361-391
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GiorgiM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GiorgiM92
Jean-Francois Giorgi, Daniel Le Métayer:
Continuation-Based Compilation of Functional Languages for Parallel Machines. 393-414
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HannanM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HannanM92
John Hannan, Dale Miller:
From Operational Semantics for Abstract Machines. 415-459
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Wadler92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Wadler92
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.