From Semantics to Types: the Case of the Imperative lambda-Calculus.

Ugo de'Liguoro Riccardo Treglia

Published in: CoRR (2021)

Keyphrases

lambda calculus
predicate calculus
database query languages
programming language
database
relational databases
query processing
databases
high level
logic programming