Login / Signup
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