Pages that link to "Item:Q3377459"
From MaRDI portal
The following pages link to Remarks on the equational theory of non-normalizing pure type systems (Q3377459):
Displaying 4 items.
- Discussion on: ``On Aizerman's type problem for neutral type systems'' (Q397433) (← links)
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- A Partial Type Checking Algorithm for Type:Type (Q5166618) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)