Categorical abstract machines for higher-order typed lambda-calculi
Curien's CAM is an environment machine for the untyped lambda -calculus based on cartesian closed categories (CCC's). This categorical model represents both environments and terms by morphisms regardless of their conceptual difference. We show that Ehrhard's D-categories yield a nice...
Main Author: | Ritter, E |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Elsevier
1994
|
Subjects: |
Similar Items
-
Ordered Models of the Lambda Calculus
by: Antonino Salibra, et al.
Published: (2013-12-01) -
Strong normalisation for applied lambda calculi
by: Ulrich Berger
Published: (2005-10-01) -
Superposition for Lambda-Free Higher-Order Logic
by: Alexander Bentkamp, et al.
Published: (2021-04-01) -
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
by: Alejandro Díaz-Caro, et al.
Published: (2022-09-01) -
An extended type system with lambda-typed lambda-expressions
by: Matthias Weber
Published: (2020-12-01)