Login / Signup

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

Norihiro Ogata
Published in: IWIC (2007)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • general purpose
  • software engineering
  • data integration
  • sliding window
  • quantifier elimination