1 search result for "author:"Patrick Barlatier <patrick.barlatier@univ-savoie.fr> [https://www.researchgate.net/profile/Patrick_Barlatier]""

Showing 1 - 1

coq-lesniewski-mereology

No documentation

Knowledge-based Dependently Typed Language (KDTL)

keyword: mereology keyword: protothetic keyword: ontology keyword: nominalist theory keyword: extensionality category: Mathematics/Logic/Foundations

Richard Dapoigny <richard.dapoigny@univ-savoie.fr> [https://www.researchgate.net/profile/Richard_Dapoigny] Patrick Barlatier <patrick.barlatier@univ-savoie.fr> [https://www.researchgate.net/profile/Patrick_Barlatier]

8.10.0

LGPL

Used by 0 other packages

07 Dec 2019