Intensional logic in extensional language (Q5184886)
From MaRDI portal
scientific article; zbMATH DE number 3893169
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intensional logic in extensional language |
scientific article; zbMATH DE number 3893169 |
Statements
Intensional logic in extensional language (English)
0 references
1982
0 references
combinatory logic
0 references
simple theory of types
0 references
lambda calculus
0 references
intensional logic
0 references
general models
0 references
