Partial Objects in the Calculus of Constructions (1991)

View PDF

Download Links

by Philippe Audebaud
Citations:20 - 1 self

Document Versions

Partial Objects in the Calculus of Constructions –Philippe Audebaud — 1991