An induction principle for pure type systems.

Gilles Barthe John Hatcliff Morten Heine Sørensen

Published in: Theor. Comput. Sci. (2001)

Keyphrases

complex systems
distributed systems
data sets
computer vision
website
intelligent systems
building blocks
computing systems
real world
artificial intelligence
management system
computer systems
inductive learning
systems require