Pages that link to "Item:Q5096257"
From MaRDI portal
The following pages link to A set constructor for inductive sets in Martin-Löf's type theory (Q5096257):
Displayed 9 items.
- Constructive characterizations of bar subsets (Q866574) (← links)
- Program development in constructive type theory (Q1190474) (← links)
- Representing inductively defined sets by wellorderings in Martin-Löf's type theory (Q1392287) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- How to Reason Coinductively Informally (Q3305562) (← links)
- Indexed containers (Q5371943) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- The essence of ornaments (Q5372005) (← links)