Formalisation of General Logics in the Calculus of Inductive Constructions: Towards an Abstract . . . (1999)

Cached

Download Links

by Mathieu Jaume , Catherine Dubois