Revision history for entry Wadler, Philip: Proofs are Programs: 19th Century Logic and 21st Century Compu.. [WADPAP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-12-13T16:51:45updateSystem / admin update
2012-07-04T05:14:37update
2012-07-04T05:14:37update
2012-07-04T05:14:37update
2012-07-04T05:14:35update
2012-07-04T05:14:34update
2011-10-04T07:58:02update
2011-10-04T07:56:15update
2011-10-04T07:56:15update
2011-10-04T07:56:15update
2011-10-04T07:56:14update
2011-10-04T07:56:14update
2009-09-11T21:24:32update
2009-09-11T21:24:29update
2009-09-11T20:01:41update
2009-09-11T20:01:40update
2009-09-11T20:01:39update
2009-09-11T20:01:34add
Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-687984fc98-xpvdz uwo