The Structural Theory of Pure Type Systems.

Cody Roux Floris van Doorn

Published in: RTA-TLCA (2014)

Keyphrases

theoretical framework
management system
intelligent systems
complex systems
decision trees
mathematical models
data structure
video sequences
search algorithm
distributed systems
logic programs
knowledge based systems
building blocks
theoretical foundation
systems require