The following pages link to Biform Theories in Chiron (Q5428260):
Displaying 6 items.
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Formalizing mathematical knowledge as a biform theory graph: a case study (Q2364688) (← links)
- Generic Literals (Q3453109) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
- High-Level Theories (Q5505502) (← links)
