System Description: Twelf — A Meta-Logical Framework for Deductive Systems
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 202-206
- https://doi.org/10.1007/3-540-48660-7_14
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Automated theorem proving in a simple meta-logic for LFPublished by Springer Nature ,1998
- The practice of logical frameworksLecture Notes in Computer Science, 1996
- Mode and termination checking for higher-order logic programsPublished by Springer Nature ,1996
- Elf: A meta-language for deductive systemsPublished by Springer Nature ,1994
- A framework for defining logicsJournal of the ACM, 1993
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991