Pages that link to "Item:Q3499754"
From MaRDI portal
The following pages link to In the Search of a Naive Type Theory (Q3499754):
Displaying 8 items.
- Discussion on: ``On Aizerman's type problem for neutral type systems'' (Q397433) (← links)
- Two algorithms in search of a type-system (Q733753) (← links)
- The underdetermination of typings (Q1405827) (← links)
- A modern perspective on type theory. From its origins until today (Q1887432) (← links)
- Shallow embedding of type theory is morally correct (Q2176685) (← links)
- Type theory should eat itself (Q2804938) (← links)
- (Q4823137) (← links)
- (Q4842534) (← links)