Categorical models for local names
- 1 February 1996
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 9 (1) , 77-107
- https://doi.org/10.1007/bf01806033
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A logic for parametric polymorphismPublished by Springer Nature ,2006
- Inferring the equivalence of functional programs that mutate dataTheoretical Computer Science, 1992
- The revised report on the syntactic theories of sequential control and stateTheoretical Computer Science, 1992
- Semantics of local variablesPublished by Cambridge University Press (CUP) ,1992
- Notions of computation and monadsInformation and Computation, 1991
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991
- A syntactic theory of sequential stateTheoretical Computer Science, 1989
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975
- Monads on symmetric monoidal closed categoriesArchiv der Mathematik, 1970