Pure Type Systems without Explicit Contexts

Herman Geuvers Robbert Krebbers James McKinna Freek Wiedijk

Published in: LFMTP (2010)

Keyphrases

decision making
expert systems
management system
intelligent systems
computing systems
knowledge based systems
distributed systems
systems require
database
complex systems
building blocks
software development
data structure
case study
image processing
knowledge base
information systems