Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda-calculi (1997)

by M Hasegawa
Venue:Proceeding of the 3rd International Conference on Typed Lambda-Calculi and Applications, Springer Verlag, Lecture Notes in Computer Science 1210