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

Zhibo Chen, Frank Pfenning

Browse the full FOSSACS paper archive.