The following pages link to (Q3024841):
Displaying 9 items.
- On paradoxes in normal form (Q2288281) (← links)
- In the Search of a Naive Type Theory (Q3499754) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- Cumulative Inductive Types in Coq (Q4993361) (← links)
- (Q5140267) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- A modular construction of type theories (Q5883738) (← links)
- Is Impredicativity Implicitly Implicit (Q6079240) (← links)
- Paradoxes, intuitionism, and proof-theoretic semantics (Q6612875) (← links)
