Models of Lambda-Calculus and the Weak MSO Logic.

Pawel Parys Szymon Torunczyk

Published in: CSL (2016)

Keyphrases

database management systems
lambda calculus
database
open source
software development
logic programming
complex objects
regular expressions