Pages that link to "Item:Q1392287"
From MaRDI portal
The following pages link to Representing inductively defined sets by wellorderings in Martin-Löf's type theory (Q1392287):
Displaying 8 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Finitary higher inductive types in the groupoid model (Q2130587) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- A set constructor for inductive sets in Martin-Löf's type theory (Q5096257) (← links)
