Structured theory presentations and logic representations
- 17 May 1994
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 67 (1-3) , 113-160
- https://doi.org/10.1016/0168-0072(94)90009-4
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Generalised algebraic theories and contextual categoriesPublished by Elsevier ,2003
- A framework for defining logicsJournal of the ACM, 1993
- Using typed lambda calculus to implement formal systems on a machineJournal of Automated Reasoning, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Simple consequence relationsInformation and Computation, 1991
- Higher-order unification with dependent function typesPublished by Springer Nature ,1989
- Completeness of Proof Systems for Equational SpecificationsIEEE Transactions on Software Engineering, 1985
- Some fundamental algebraic tools for the semantics of computation: Part 1: Comma Categories, Colimits, Signatures and TheoriesTheoretical Computer Science, 1984
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981