Izumi Takeuti A Type Theory for Cyclic Strcture. 207-226 1998 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops98.html#Takeuti98