Modeling Ontological Structures with Type Classes in Coq.

Richard Dapoigny, Patrick Barlatier

Browse the full ICCS paper archive.