Language Constructs for Non-Well-Founded Computation.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Browse the full ESOP paper archive.