Pages that link to "Item:Q579245"

The following pages link to Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245):

Displaying 2 items.

• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
• Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)