A fully-abstract semantics of lambda-mu in the pi-calculus.

Steffen van Bakel Maria Grazia Vigliotti

Published in: CL&C (2014)

Keyphrases

database query languages
algebraic structure
lambda calculus
formal language
high level
formal semantics
relational calculus
proof theoretic
higher level
neural network
semantic information
expressive power
fixed point
operational semantics