Pages that link to "Item:Q4870067"
From MaRDI portal
The following pages link to Partial Applicative Theories and Explicit Substitutions (Q4870067):
Displaying 5 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- A theory of rules for enumerated classes of functions (Q1805407) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Totality in applicative theories (Q1896484) (← links)
