Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory.
Andreas AbelThierry CoquandPeter DybjerPublished in: MPC (2008)
Keyphrases
- domain specific
- databases
- semantic web
- formal theory
- general theory
- semantic interpretation
- semantic knowledge
- theoretical framework
- theoretical foundation
- information theory
- semantic network
- real time
- semantic representation
- statistical significance
- theoretical basis
- semantic analysis
- topic maps
- web services
- semantic similarity
- domain independent
- semantic information
- computational model
- test cases
- machine learning
- artificial intelligence
- natural language