A Complete V-Equational System for Graded lambda-Calculus.

Fredrik Dahlqvist Renato Neves

Published in: CoRR (2023)

Keyphrases

lambda calculus
theorem proving
programming language
predicate calculus
artificial intelligence
data model
complex objects
program understanding
database query languages
higher order