Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus.

Giulio Guerrieri

Published in: DCM/ITRS (2018)

Keyphrases

lambda calculus
programming language
high level
higher order
natural language
domain specific
semantic network
predicate calculus
databases
artificial intelligence
database systems
similarity measure
higher level
program understanding