The following pages link to Totality in applicative theories (Q1896484):
Displaying 10 items.
- Theories with self-application and computational complexity. (Q1427856) (← links)
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Remarks on applicative theories (Q2566067) (← links)
- About Truth and Types (Q3305551) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Polynomial time operations in explicit mathematics (Q4358055) (← links)
