Relationships between logical frameworks
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 126-143
- https://doi.org/10.1007/3-540-56379-2_37
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Equational calculi for many-sorted algebras with empty carrier setsPublished by Springer Nature ,2005
- Universal algebra in higher typesTheoretical Computer Science, 1992
- Partial Higher-Order Specifications1Fundamenta Informaticae, 1992
- Higher-order order-sorted algebrasPublished by Springer Nature ,1990
- General LogicsPublished by Elsevier ,1989
- Unified Algebras and ModulesDAIMI Report Series, 1988
- Specifications in an arbitrary institutionInformation and Computation, 1988
- Quasi-varieties in abstract algebraic institutionsJournal of Computer and System Sciences, 1986
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Partial abstract typesActa Informatica, 1982