Explicit Universes for the Calculus of Constructions.

Judicaël Courant

Published in: TPHOLs (2002)

Keyphrases

artificial intelligence
knowledge base
face recognition
multiscale
search algorithm