Taking the hol out of HOL
Day, Nancy A.
2000

Files

Abstract

cse-00-003

Details

Title Taking the hol out of HOL
Creator Day, Nancy A.
Date 2000
DOI https://doi.org/10.6083/79407x533
Content Type Article
School Oregon Graduate Institute
Copyright Status
Usage Statement
Record ID 3798
Record Created 2023-06-29
Record Appears in Scholars Archive
All Records

PDF

Statistics

from
to
Export
Download Full History