Pages that link to "Item:Q3809795"
From MaRDI portal
The following pages link to The independence of Peano's fourth axiom from Martin-Löf's type theory without universes (Q3809795):
Displaying 9 items.
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Remarks on Martin-Löf's partial type theory (Q688734) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
- Constructing a small category of setoids (Q3225739) (← links)
- Setoids and universes (Q3583021) (← links)
- Introducing data types in intuitionistic type theory (Q3989761) (← links)
- A general formulation of simultaneous inductive-recursive definitions in type theory (Q4508246) (← links)
