Partial Objects in the Calculus of Constructions (1991)

Cached

Download Links

by Philippe Audebaud
Citations:19 - 1 self

Document Versions

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