Journal article
Categorical abstract machines for higher-order typed lambda-calculi
- Abstract:
-
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 way of separating these two notions. Based on suitable categorical combinators for these D-categories we derive an eager and a lazy abstract machine. These machines specialize to the CAM and to Krivine's machine ...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Funding
+ Computational Laboratory for Information and Computer Security
More from this funder
Funding agency for:
Ritter, E
Bibliographic Details
- Publisher:
- Elsevier Publisher's website
- Journal:
- Theoretical Computer Science Journal website
- Volume:
- 136
- Issue:
- 1
- Pages:
- 125–162
- Publication date:
- 1994-12-01
- ISSN:
-
0304-3975
Item Description
- Language:
- English
- Subjects:
- UUID:
-
uuid:87d68f45-1238-412a-bb05-ac3078f2b87a
- Local pid:
- ora:10761
- Deposit date:
- 2015-03-30
Related Items
Terms of use
- Copyright holder:
- Elsevier BV
- Copyright date:
- 1994
- Notes:
- Copyright 1994 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/
- Licence:
- Other
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record