An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (Q3637192)
From MaRDI portal
!
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 5576325
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form |
scientific article; zbMATH DE number 5576325 |
Statements
An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (English)
0 references
7 July 2009
0 references
0.8140850067138672
0 references
0.8046927452087402
0 references
0.8045186400413513
0 references
