The Typed -calculus with First-class (1988)

by F Nielson
Venue:Processes, Report IDTR: 1988-43, Inst. for Datateknik, Tekniske Hojskole, Lyngby