Reasoning with the formal definition of standard ML in HOL

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 43-60
https://doi.org/10.1007/3-540-57826-9_124

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

A Package For Inductive Relation Definitions In HOL
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
Mechanizing Programming Logics in Higher Order Logic
Published by Springer Nature ,1989