Local Theory Specifications in Isabelle/Isar
Authors:
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 153-168
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Building Formal Method Tools in the Isabelle/Isar Framework2007
- Context Aware Calculation and DeductionLecture Notes in Computer Science, 2007
- Constructive Type Classes in Isabelle2007
- Interpretation of Locales in Isabelle: Theories and Proof Contexts2006
- Locales and Locale Expressions in Isabelle/Isar2004
- Locales A Sectioning Concept for Isabelle1999
- Type classes and overloading in higher-order logic1997
- Function definition in higher-order logicLecture Notes in Computer Science, 1996
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940