Constructive natural deduction and its !-set interpretation (1991)

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