A Semantic Characterization of Full Abstraction for Typed Lambda Calculi
Ketan MulmuleyPublished in: FOCS (1984)
Keyphrases
- lambda calculus
- high level
- semantic information
- higher order
- semantic knowledge
- semantically meaningful
- semantic web
- natural language
- semantic network
- semantic similarity
- neural network
- semantic web technologies
- low level features
- domain specific
- programming language
- knowledge representation
- semantic features
- semantic search
- semantic representation
- semantically rich
- low level