The following pages link to (Q4941991):
Displayed 5 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Universes over Frege structures (Q1861539) (← links)