Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
Alexander KurzDaniela PetrisanPaula SeveriFer-Jan de VriesPublished in: Log. Methods Comput. Sci. (2013)
Keyphrases
- data types
- lambda calculus
- programming language
- database systems
- data structure
- data model
- database query languages
- database management systems
- user defined
- type checking
- predicate calculus
- data mining algorithms
- abstract data types
- higher order
- complex objects
- program understanding
- database server
- first order logic
- conceptual model
- data sources
- xml documents
- data streams
- similarity measure