A Theory of Finite Maps
暂无分享,去创建一个
[1] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[2] Don Syme,et al. Reasoning with the Formal Definition of Standard ML in HOL , 1993, HUG.
[3] Savi Maharaj,et al. Studying the ML Module System in Hol , 1994, TPHOLs.
[4] Robin Milner,et al. Definition of standard ML , 1990 .
[5] T. Melham. Automating recursive type definitions in higher order logic , 1989 .
[6] Elsa L. Gunter,et al. Hol-ml , 1993, HUG.
[7] Elsa L. Gunter. A Broader Class of Trees for Recursive Type Definitions for HOL , 1993, HUG.
[8] Thomas F. Melham. A Package For Inductive Relation Definitions In HOL , 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.