Implementing FS0 in Isabelle: Adding structure at the metalevel
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 228-239
- https://doi.org/10.1007/3-540-61697-7_24
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A framework for program development based on schematic proofPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On extensibility of proof checkersPublished by Springer Nature ,1995
- IsabellePublished by Springer Nature ,1994
- A theory of binding structures and applications to rewritingTheoretical Computer Science, 1993