Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category |
scientific article |
Statements
Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (English)
0 references
19 October 1993
0 references
semantics
0 references
typed \(\lambda\)-calculus with substitution
0 references
global environments object
0 references
individual environments objects
0 references
interpretation function
0 references
operational semantics
0 references