Pages that link to "Item:Q5370899"

The following pages link to Intersection type calculi of bounded dimension (Q5370899):

Displayed 7 items.

• The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) ‎ (← links)
• A coinductive approach to proof search through typed lambda-calculi (Q2231698) ‎ (← links)
• Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) ‎ (← links)
• (Q4580327) ‎ (← links)
• (Q5111311) ‎ (← links)
• Tight typings and split bounds, fully developed (Q5120229) ‎ (← links)
• Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search (Q5236550) ‎ (← links)