Proof-relevant pi-calculus.

Roly Perera James Cheney

Published in: CoRR (2016)

Keyphrases

proof procedure
provably correct
video sequences
automated theorem proving
information systems
theorem prover
natural deduction
proof search
data sets
machine learning
artificial intelligence
data structure
theorem proving