Pages that link to "Item:Q908912"
From MaRDI portal
The following pages link to Propositional functions and families of types (Q908912):
Displaying 5 items.
- Inductive families (Q1336951) (← links)
- Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations (Q3006121) (← links)
- Setoids and universes (Q3583021) (← links)
- A general formulation of simultaneous inductive-recursive definitions in type theory (Q4508246) (← links)
- Containers, monads and induction recursion (Q5741557) (← links)