A Logical Framework with Higher-Order Rational (Circular) Terms

Zhibo Chen, Frank Pfenning

Logical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent developments focus on finitary proo…