Pages that link to "Item:Q1887432"
From MaRDI portal
The following pages link to A modern perspective on type theory. From its origins until today (Q1887432):
Displaying 9 items.
- Bridging Curry and Church's typing style (Q334149) (← links)
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician (Q740456) (← links)
- History and philosophy of constructive type theory (Q1396584) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Computerizing mathematical text with MathLang (Q2866734) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- (Q4354787) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)