System Description: Twelf — A Meta-Logical Framework for Deductive Systems
- 1 January 1999
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 LFLecture Notes in Computer Science, 1998
- The practice of logical frameworksLecture Notes in Computer Science, 1996
- Mode and termination checking for higher-order logic programsLecture Notes in Computer Science, 1996
- Elf: A meta-language for deductive systemsLecture Notes in Computer Science, 1994
- A framework for defining logicsJournal of the ACM, 1993
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991