Inductively Defined Types in the Calculus of Constructions.

Frank Pfenning Christine Paulin-Mohring

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

machine learning
information retrieval
digital libraries
database
databases
knowledge base
website
case study
multi agent
data structure
theorem proving
proof procedure