HTLC: Hyperintensional Typed Lambda Calculus.

Michal Fait Giuseppe Primiero

Published in: FLAP (2021)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
complex objects
program understanding
database query languages
pairwise
database
general purpose
theorem proving