Login / Signup
Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types.
Anne Preller
Geneviève Simonet
Published in:
Math. Struct. Comput. Sci. (1996)
Keyphrases
</>
object categories
general theory
information retrieval
genetic algorithm
search engine
theoretical framework
theoretical foundation
theoretical basis
image processing
case study
data structure
multiple types
black and white
polar coordinates
formal theory
broad categories