The following pages link to Small Induction Recursion (Q5300900):
Displaying 8 items.
- Constructing a universe for the setoid model (Q2233391) (← links)
- Turing-Completeness Totally Free (Q2941179) (← links)
- How to Reason Coinductively Informally (Q3305562) (← links)
- (Q3835951) (← links)
- (Q5089034) (← links)
- Indexed containers (Q5371943) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Impredicative encodings of inductive-inductive data in Cedille (Q6535795) (← links)