LCF Examples in HOL (1994)
by
Sten Agerholm
,
Sten Agerholm
| Venue: | The Computer Journal |
| Citations: | 12 - 4 self |
Document Versions
| LCF Examples in HOL –Sten Agerholm, Sten Agerholm — 1994 — The Computer Journal |
