New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi
A. J. KfouryJ. B. WellsPublished in: LICS (1995)
Keyphrases
- lambda calculus
- high level
- semantic network
- semantic knowledge
- higher order
- natural language
- semantic information
- semantic annotation
- fixed point
- semantic similarity
- formal proof
- semantically meaningful
- formal proofs
- semantically related
- semantic representation
- semantic analysis
- semantic web technologies
- theorem proving
- domain specific