Login / Signup

Partial Objects in the Calculus of Constructions

Philippe Audebaud
Published in: LICS (1991)
Keyphrases