Church and Curry: combining intrinsic and extrinsic typing (Q3086784)
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: Church and Curry: combining intrinsic and extrinsic typing |
scientific article; zbMATH DE number 5872264
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Church and Curry: combining intrinsic and extrinsic typing |
scientific article; zbMATH DE number 5872264 |
Statements
30 March 2011
0 references
0.7690945267677307
0 references
0.7583253979682922
0 references
0.7447241544723511
0 references
