May I borrow your logic? (Transporting logical structures along maps)
- 28 February 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 173 (2) , 311-347
- https://doi.org/10.1016/s0304-3975(96)00160-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- From Petri nets to linear logicMathematical Structures in Computer Science, 1991
- Specifications in an arbitrary institutionInformation and Computation, 1988
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Linear logicTheoretical Computer Science, 1987
- On the existence of free models in abstract algebraic institutionsTheoretical Computer Science, 1985
- Galleries and InstitutionsDAIMI Report Series, 1985