Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.

Richard Dapoigny, Patrick Barlatier

Browse the full ER paper archive.