Canonicity in Modal Lambda Calculus.

Matteo Acclavio Davide Catta Federico Olimpieri

Published in: CoRR (2023)

Keyphrases

lambda calculus
programming language
modal logic
predicate calculus
program understanding
database query languages
higher order
complex objects
case study
temporal logic
high level
pairwise
model checking