Recursion over Objects of Functional Type (2001)

by J DESPEYROUX, P LELEU
Venue:in "Special issue of MSCS on ‘Modalities in Type Theory