Cyclic Lambda Calculi (1997)

by Zena M. Ariola, Stefan Blom