Bridging Curry and Church's typing style (Q334149)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bridging Curry and Church's typing style |
scientific article |
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
