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

Cached

Download Links

by Qiao Haiyan
Venue:Types for Proofs and Programs
Citations:2 - 0 self

Document Versions

Formalising formulas-as-types-as-objects –Qiao Haiyan — 2000 — Types for Proofs and Programs