Solution of a Problem of Barendregt on Sensible lambda-Theories (Q5310670)
From MaRDI portal
scientific article; zbMATH DE number 5200140
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solution of a Problem of Barendregt on Sensible lambda-Theories |
scientific article; zbMATH DE number 5200140 |
Statements
Solution of a Problem of Barendregt on Sensible lambda-Theories (English)
0 references
11 October 2007
0 references
