Proof-relevant pi-calculus.

Roly Perera James Cheney

Published in: LFMTP (2015)

Keyphrases

provably correct
theorem proving
automated theorem proving
information systems
natural deduction
real time
proof search
data sets
real world
website
decision trees
data structure
evolutionary algorithm
automated deduction
sequent calculus