Pages that link to "Item:Q5111311"
From MaRDI portal
The following pages link to The complexity of principal inhabitation (Q5111311):
Displaying 6 items.
- Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981) (← links)
- Inhabitation of types in the simply typed lambda calculus (Q1893725) (← links)
- Counting a type's (principal) inhabitants (Q2708317) (← links)
- PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS (Q3988840) (← links)
- A unifying framework for type inhabitation (Q4993331) (← links)
- (Q6060673) (← links)