A partial functions version of Church's simple theory of types (Q5753924)
From MaRDI portal
scientific article; zbMATH DE number 4189688
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A partial functions version of Church's simple theory of types |
scientific article; zbMATH DE number 4189688 |
Statements
A partial functions version of Church's simple theory of types (English)
0 references
1990
0 references
simple theory of types
0 references
lambda calculus
0 references
Henkin's general models
0 references
partial functions
0 references
definite description operators
0 references
