Formal Ontology of Cultures and Ethnic Groups Based on Type Theory and Functional Programming

Norihiro Ogata. Formal Ontology of Cultures and Ethnic Groups Based on Type Theory and Functional Programming. In Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen, editors, Intercultural Collaboration, First International Workshop, IWIC 2007, Kyoto, Japan, January 25-26, 2007, Invited and Selected Papers. Volume 4568 of Lecture Notes in Computer Science, pages 46-60, Springer, 2007. [doi]

Abstract

Abstract is missing.