The following pages link to High-Level Theories (Q5505502):
Displaying 8 items.
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Higher Lawvere theories (Q2173857) (← 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)
- First order meta theories (Q4340931) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)