Relationships between logical frameworks
Authors:
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 126-143
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Universal algebra in higher typesTheoretical Computer Science, 1992
- Partial Higher-Order Specifications1Fundamenta Informaticae, 1992
- Higher-order order-sorted algebrasLecture Notes in Computer Science, 1990
- General Logics1989
- Unified Algebras and ModulesDAIMI Report Series, 1988
- Specifications in an arbitrary institutionInformation and Computation, 1988
- Initial Computability, Algebraic Specifications, and Partial Algebras1987
- 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