Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.

Alex K. Simpson

Published in: RTA (2005)

Keyphrases

operational semantics
lambda calculus
formal semantics
mental states
programming language
program understanding
data model
predicate calculus
database query languages
databases
object oriented
higher order
distance function
speech acts