Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi (1997)

Cached

Download Links

by Masahito Hasegawa
Citations:45 - 5 self