BibTeX
@TECHREPORT{Hancock00ordinalsand,
author = {Peter Hancock},
title = {Ordinals and Interactive Programs},
institution = {},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The work reported in this thesis arises from the old idea, going back to the origins of constructive logic, that a proof is fundamentally a kind of program. If proofs can be
