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 |
|---|---|---|---|
| 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
