A Categorical Normalization Proof for the Modal Lambda-Calculus.

Jason Z. S. Hu Brigitte Pientka

Published in: CoRR (2022)

Keyphrases

lambda calculus
programming language
predicate calculus
theorem proving
database query languages
program understanding
modal logic
theorem prover
artificial intelligence
first order logic
databases
data structure
natural language processing
higher order