Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.
Sebastián UrciuoliÁlvaro TasistroNora SzaszPublished in: LSFA (2020)
Keyphrases
- lambda calculus
- database query languages
- programming language
- predicate calculus
- type checking
- program understanding
- expressive power
- formal model
- data structure
- database systems
- database
- database technology
- description logics
- knowledge representation and reasoning
- general purpose
- knowledge representation
- query language