Pages that link to "Item:Q1214886"

The following pages link to Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973 (Q1214886):

Displaying 5 items.

• The existence and construction of free iterative theories (Q1228350) (← links)
• Fully abstract models of typed \(\lambda\)-calculi (Q1249567) (← links)
• On Cantorian spacetime over number systems with division by zero (Q1878186) (← links)
• Graded modal dependent type theory (Q2233475) (← links)
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)