Pages that link to "Item:Q1976882"
From MaRDI portal
The following pages link to N-strictness in applicative theories (Q1976882):
Displaying 6 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Remarks on applicative theories (Q2566067) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)
- Universes in explicit mathematics (Q5939842) (← links)