The following pages link to (Q4354787):
Displaying 4 items.
- Revisiting the notion of function (Q1394989) (← links)
- A modern perspective on type theory. From its origins until today (Q1887432) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- Automath and Pure Type Systems (Q4924545) (← links)