@inproceedings{FLOPS-1998-Takeuti,
	author        = "Izumi Takeuti",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "207--226",
	title         = "{A Type Theory for Cyclic Strcture}",
	year          = 1998,
}