Universes for Generic Programs and Proofs in Dependent Type Theory.

Marcin Benke Peter Dybjer Patrik Jansson

Published in: Nord. J. Comput. (2003)

Keyphrases

theoretical framework
theorem proving
theoretical basis
website
domain specific
theoretical foundation
computer programs
formal theory
equational theories
artificial intelligence
knowledge base
case study
multi agent