Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus.

Published in: TYPES (2021)

Keyphrases

lambda calculus
programming language
predicate calculus
complex objects
database query languages
program understanding
database
higher order
artificial intelligence
co occurrence
data management
software systems
type checking