The following pages link to Prototype proofs in type theory (Q4487253):
Displaying 6 items.
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Proving type class laws for Haskell (Q2151278) (← links)
- What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? (Q3295825) (← links)
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- (Q4699350) (← links)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ (Q5213627) (← links)
