Constructive natural deduction and its 'omega-set' interpretation (1991)

by G Longo, E Moggi
Venue:Mathematical Structures in Computer Science