Intersection Types for a Computational Lambda-Calculus with Global State.

Ugo de'Liguoro Riccardo Treglia

Published in: CoRR (2021)

Keyphrases

lambda calculus
database systems
knowledge representation