A dependently typed calculus with polymorphic subtyping.

Mingqi Xue Bruno C. d. S. Oliveira

Published in: Sci. Comput. Program. (2021)

Keyphrases

lambda calculus
type checking
database query languages
higher order
computer vision
data sets
fixed order
algebraic structure
data types
inference rules
formal language
relational calculus
expert systems
data structure
sequent calculus
multi agent
learning algorithm
real time