Permissive subsorted partial logic in CASL
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 91-107
- https://doi.org/10.1007/bfb0000465
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Order-sorted algebraic specifications with higher-order functionsTheoretical Computer Science, 1997
- May I borrow your logic? (Transporting logical structures along maps)Theoretical Computer Science, 1997
- CoFI: The common framework initiative for algebraic specification and developmentPublished by Springer Nature ,1997
- A structure preserving encoding of Z in isabelle/HOLPublished by Springer Nature ,1996
- Pushouts of order-sorted algebraic specificationsPublished by Springer Nature ,1996
- An Oxford survey of order sorted algebraMathematical Structures in Computer Science, 1994
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Initial Computability, Algebraic Specifications, and Partial AlgebrasPublished by Walter de Gruyter GmbH ,1987
- Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebrasAlgebra universalis, 1982
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979