Towards Ontological Correctness of Part-whole Relations with Dependent Types.

Richard Dapoigny, Patrick Barlatier

Browse the full FOIS paper archive.