Towards Ontological Correctness of Part-whole Relations with Dependent Types

@inproceedings{Dapoigny2010TowardsOC,
  title={Towards Ontological Correctness of Part-whole Relations with Dependent Types},
  author={Richard Dapoigny and Patrick Barlatier},
  booktitle={FOIS},
  year={2010}
}