Some Semantic Aspects of Polymorphic Lambda Calculus
Peter J. FreydAndre ScedrovPublished in: LICS (1987)
Keyphrases
- semantic aspects
- lambda calculus
- programming language
- database query languages
- topic maps
- predicate calculus
- type checking
- social networks
- metadata
- web service discovery
- higher order
- complex objects
- first order logic
- multimedia objects
- expert systems
- program understanding
- relational algebra
- co occurrence
- domain knowledge
- web services
- artificial intelligence