Intersection Types for the Computational lambda-Calculus.

Ugo de'Liguoro Riccardo Treglia

Published in: CoRR (2019)

Keyphrases

lambda calculus
predicate calculus
database query languages
database systems
query processing
programming language
description logics
theorem proving