Pages that link to "Item:Q2773020"
From MaRDI portal
The following pages link to The \(I\)-types of system \(\mathcal F\) (Q2773020):
Displaying 4 items.
- Two beta-equal lambda-I-terms with no types in common (Q672135) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325) (← links)
- Syntactical data types of system \(\mathcal F\) (Q2773019) (← links)
- A partial translation from λU to λ2 (Q5739981) (← links)