Sign in
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus.
Yuta Takahashi
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