BibTeX
@MISC{Norrish02athread,
author = {Michael Norrish and Konrad Slind},
title = {A Thread of HOL Development},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Hardware (now defunct) . The implementation was inuenced by the Isabelle approach: rule application was by higher order unication. LAMBDA provided a highly developed user interface for hardware design.
