An experiment in extracting programs from constructive proofs in a framework of a classical proof checker

Simple item page
dc.contributor.authorMichels, Michael A.
dc.date.accessioned2025-05-28T20:32:23Z
dc.date.available2025-05-28T20:32:23Z
dc.date.issued1996
dc.identifier.doihttps://doi.org/10.7939/R38P5VK9F
dc.language.isoen
dc.rightsThis thesis is made available by the University of Alberta Libraries with permission of the copyright owner solely for non-commercial purposes. This thesis, or any portion thereof, may not otherwise be copied or reproduced without the written consent of the copyright owner, except to the extent permitted by Canadian copyright law.
dc.titleAn experiment in extracting programs from constructive proofs in a framework of a classical proof checker
dc.typehttp://purl.org/coar/resource_type/c_46ec
thesis.degree.grantorhttp://id.loc.gov/authorities/names/n79058482
thesis.degree.levelMaster's
thesis.degree.nameMaster of Science
ual.date.graduation1996
ual.departmentDepartment of Computing Science
ual.jupiterAccesshttp://terms.library.ualberta.ca/public

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
MM10741.pdf
Size:
3.76 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses and Dissertations