James Aczel, Pat Fung, Richard Bornat, Martin Oliver, Tim O'Shea, Bernard Sufrin. Computer science undergraduates learning logic using a proof editor: work in progress. In Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1999, Leeds, UK, January 5-7, 1999. pages 15, Psychology of Programming Interest Group, 1999. [doi]
@inproceedings{AczelFBOOS99,
title = {Computer science undergraduates learning logic using a proof editor: work in progress},
author = {James Aczel and Pat Fung and Richard Bornat and Martin Oliver and Tim O'Shea and Bernard Sufrin},
year = {1999},
url = {http://ppig.org/library/paper/computer-science-undergraduates-learning-logic-using-proof-editor-work-progress},
researchr = {https://researchr.org/publication/AczelFBOOS99},
cites = {0},
citedby = {0},
pages = {15},
booktitle = {Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1999, Leeds, UK, January 5-7, 1999},
publisher = {Psychology of Programming Interest Group},
}