Cyclic Proofs and Coinductive Principles.

Gavin Mendel-Gleason Geoff W. Hamilton

Published in: PAR@ITP (2010)

Keyphrases

data sets
design principles
theorem proving
database
databases
computer vision
artificial neural networks
special case
building blocks
metadata
case study
formal proofs
equational theories