Travelled to:1 × USA
Collaborated with:R.A.DeMillo R.J.Lipton
Talks about:theorem (1) program (1) process (1) social (1) proof (1)
Person: Alan J. Perlis
DBLP: Perlis:Alan_J=
Facilitated 1 volumes:
EdContributed to:
1977Wrote 1 papers:
- POPL-1977-DeMilloLP #process #proving #social #source code #theorem
- Social Processes and Proofs of Theorems and Programs (RAD, RJL, AJP), pp. 206–214.