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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7690945267677307
0 references
0.7543988227844238
0 references
0.7379971742630005
0 references
0.7315260171890259
0 references
