The following pages link to MathScheme: Project Description (Q5200128):
Displaying 4 items.
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)
