Sciweavers

CADE
1999
Springer
14 years 4 months ago
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
Frank Pfenning, Carsten Schürmann