Guarded Recursion in ESFP. Slides presented at TYPES 98 (1998)

by Alastair Telford, David Turner