The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus (Q4254697)
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: The interpretation of unsolvable λ-terms in models of untyped λ-calculus |
scientific article; zbMATH DE number 1310810
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus |
scientific article; zbMATH DE number 1310810 |
Statements
The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus (English)
0 references
15 February 2000
0 references
interpretation of unsolvable \(\lambda\)-terms in a given model of \(\lambda\)-calculus
0 references
graph models
0 references
stable models
0 references
decoration
0 references
critical sequence
0 references
0 references
0.7746272087097168
0 references
0.7719164490699768
0 references
0.7704671025276184
0 references
