Linear Sized Types in the Calculus of Constructions.

Jorge Luis Sacchini

Published in: FLOPS (2014)

Keyphrases

bayesian networks
piecewise linear
information retrieval
genetic algorithm
artificial intelligence
special case
sufficient conditions
linear constraints
sequent calculus