The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types.
Ranald CloustonAles BizjakHans Bugge GrathwohlLars BirkedalPublished in: Log. Methods Comput. Sci. (2016)
Keyphrases
- lambda calculus
- programming language
- program understanding
- query answering
- predicate calculus
- artificial intelligence
- complex objects
- database query languages
- object oriented
- reasoning systems
- higher order
- databases
- knowledge base
- data exchange
- incomplete information
- general purpose
- knowledge representation
- relational databases
- expert systems
- high level