The following pages link to High-Level Theories (Q5505502):
Displayed 6 items.
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Theory morphisms in Church's type theory with quotation and evaluation (Q2364672) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)