Pages that link to "Item:Q3884084"
From MaRDI portal
The following pages link to Progress report on generalized functionality (Q3884084):
Displaying 6 items.
- Bridging Curry and Church's typing style (Q334149) (← links)
- The calculus of constructions (Q1108266) (← links)
- Comparing cubes of typed and type assignment systems (Q1365249) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- A weak absolute consistency proof for some systems of illative combinatory logic (Q3043111) (← links)
- Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985 (Q3755422) (← links)
