Enriching the lambda calculus with contexts: toward a theory of incremental program construction (Q2817703)
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: Enriching the lambda calculus with contexts |
scientific article; zbMATH DE number 6621878
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enriching the lambda calculus with contexts: toward a theory of incremental program construction |
scientific article; zbMATH DE number 6621878 |
Statements
1 September 2016
0 references
0.91099983
0 references
0.90830845
0 references
0 references
0.89112943
0 references
0.8872937
0 references
0.8819957
0 references
0.8779688
0 references
0.87541515
0 references
0.8734275
0 references
0.87191415
0 references
Enriching the lambda calculus with contexts: toward a theory of incremental program construction (English)
0 references
