Pages that link to "Item:Q1221073"

The following pages link to \(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975 (Q1221073):

Displaying 4 items.

• Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
• Conditional linearization (Q698633) (← links)
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
• Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)