The following pages link to Inductive families (Q1336951):
Displaying 28 items.
- Canonicity of weak \(\omega\)-groupoid laws using parametricity theory (Q283766) (← links)
- ProofViz: an interactive visual proof explorer (Q832103) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Representing inductively defined sets by wellorderings in Martin-Löf's type theory (Q1392287) (← links)
- Induction-recursion and initial algebras. (Q1412830) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Game semantics for dependent types (Q1641014) (← links)
- Homotopy type theory in Lean (Q1687770) (← links)
- Constructive hybrid games (Q2096468) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Finitary higher inductive types in the groupoid model (Q2130587) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- The justification of identity elimination in Martin-Löf's type theory (Q2288279) (← links)
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- Proofs for free (Q2844694) (← links)
- A Brief Overview of Agda – A Functional Language with Dependent Types (Q3183520) (← links)
- Dialogues, Reasons and Endorsement (Q3305643) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
- Variations on inductive-recursive definitions (Q5111280) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- (Q5875411) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
