Unfolding Semantics of the Untyped λ-Calculus with letrec.

Published in: CoRR (2016)

Keyphrases

algebraic structure
formal language
formal semantics
database query languages
petri net
process algebra
relational calculus
logic programming
default reasoning
databases
semantic information
computer algebra
proof theoretic
database
nonmonotonic logics
expressive power
multi agent systems
data sets