The following pages link to Introduction to Type Theory (Q5191087):
Displaying 8 items.
- The correctness of Newman's typability algorithm and some of its extensions (Q549191) (← links)
- A modern perspective on type theory. From its origins until today (Q1887432) (← links)
- A symbolic transformation language and its application to a multiscale method (Q2447638) (← links)
- (Q4247306) (← links)
- (Q4699350) (← links)
- (Q4823137) (← links)
- Introduction to generalized type systems (Q4939697) (← links)
- (Q5689160) (← links)