On Definitions of Constants and Types in HOL
Crossref DOI link: https://doi.org/10.1007/s10817-016-9366-4
Published Online: 2016-03-08
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arthan, Rob
Funding for this research was provided by:
Engineering and Physical Sciences Research Council (EP/K503769/1)
License valid from 2016-03-01