Computational soundness of a call by name calculus of recursively-scoped records (Q2873682)
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: Computational Soundness of a Call by Name Calculus of Recursively-scoped Records |
scientific article; zbMATH DE number 6250419
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational soundness of a call by name calculus of recursively-scoped records |
scientific article; zbMATH DE number 6250419 |
Statements
24 January 2014
0 references
calculus
0 references
call-by-name
0 references
computational soundness
0 references
recursively-scoped records
0 references
Computational soundness of a call by name calculus of recursively-scoped records (English)
0 references
