A theory of finite maps
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 122-137
- https://doi.org/10.1007/3-540-60275-5_61
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A broader class of trees for recursive type definitions for HOLPublished by Springer Nature ,1994
- HOL-MLPublished by Springer Nature ,1994
- Reasoning with the formal definition of standard ML in HOLPublished by Springer Nature ,1994
- Studying the ML module system in HOLPublished by Springer Nature ,1994
- Automating Recursive Type Definitions in Higher Order LogicPublished by Springer Nature ,1989