The following pages link to (Q2722016):
Displaying 10 items.
- A scalable module system (Q391632) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- (Q6079227) (← links)
