Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS.
Lorenzo GheriAndrei PopescuPublished in: CoRR (2021)
Keyphrases
- lambda calculus
- case study
- database query languages
- predicate calculus
- formal model
- programming language
- database systems
- logic programming
- relational algebra
- expressive power
- first order logic
- query language
- complex objects
- open source
- type checking
- program understanding
- formal specification
- high level
- software development
- higher order
- theorem proving
- query processing