Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category |
scientific article; zbMATH DE number 433089
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category |
scientific article; zbMATH DE number 433089 |
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
