Categorical and algebraic aspects of Martin-Löf Type Theory.

Adam Obtulowicz

Published in: Stud Logica (1989)

Keyphrases

linear algebra
computer algebra
multiscale
mathematical theory
feature selection
general theory
algebraic geometry
database
real time
computer vision
case study
search algorithm
k means
higher order
theoretical framework
attribute values