HOL-ML

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 61-74
https://doi.org/10.1007/3-540-57826-9_125

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Adding New Rules to an LCF-style Logic Implementation
Published by Elsevier ,1993