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