E.Moggi: Constructive Natural Deduction and its "ω-Set" interpretation (1988)

by G Longo