Social processes and proofs of theorems and programs, revisited.

Andrew W. Appel

Published in: PLDI (2004)

Keyphrases

collective learning
computer programs
cut elimination
social interaction
intermediate level
formal proof
social networks
sequent calculus
knowledge creation
theorem proving
theorem prover
automatic programming
learning community
knowledge sharing
proof search
programming language
knowledge base