Modular Structures as Dependent Types in Isabelle
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 121-133
- https://doi.org/10.1007/3-540-48167-2_9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Using LP to Debug LSL SpecificationsPublished by Springer Nature ,1993
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- A higher-order calculus and theory abstractionInformation and Computation, 1991
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- Structured theories in LCFPublished by Springer Nature ,1983
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940