Algebras and coalgebras in the light affine Lambda calculus.

Marco Gaboardi Romain Péchoux

Published in: ICFP (2015)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
high level
database
object oriented
first order logic
formal model