Proof-relevance of families of setoids and identity in type theory.

Published in: Arch. Math. Log. (2012)

Keyphrases

database
database systems
theoretical framework
information theory
information systems
face recognition
theorem prover
theoretical basis
social context
general theory