Formalising formulas-as-types-as-objects (2000)

by Qiao Haiyan
Venue:Types for Proofs and Programs