Bridging Curry and Church's typing style (Q334149)
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: Bridging Curry and Church's typing style |
scientific article; zbMATH DE number 6645881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bridging Curry and Church's typing style |
scientific article; zbMATH DE number 6645881 |
Statements
Bridging Curry and Church's typing style (English)
0 references
31 October 2016
0 references
Church-style typing
0 references
curry-style typing
0 references
domain-full typing
0 references
domain-free typing
0 references
