Login / Signup
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.
Giulio Guerrieri
Luca Paolini
Simona Ronchi Della Rocca
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
database
databases
complex objects
database systems
general purpose
source code
fault diagnosis