Codifying guarded definitions with recursive schemes (1995)

by E Giménez
Venue:In TYPES