Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus.

Giulio Guerrieri Luca Paolini Simona Ronchi Della Rocca

Published in: CoRR (2016)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
artificial intelligence
formal model
high level
object oriented
complex objects