Pages that link to "Item:Q1120558"

The following pages link to On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558):

Displaying 3 items.

• A category-theoretic characterization of functional completeness (Q912587) (← links)
• A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
• A modest model of records, inheritance, and bounded quantification (Q922718) (← links)