Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping.

Alvaro Tasistro

Published in: TYPES (1996)

Keyphrases

multiple types
theoretical foundation
neural network
machine learning
computational model
theoretical framework
information theory
artificial intelligence
data structure
video sequences
higher level