Self-Formalisation of Higher-Order Logic
Crossref DOI link: https://doi.org/10.1007/s10817-015-9357-x
Published Online: 2016-02-15
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kumar, Ramana
Arthan, Rob
Myreen, Magnus O.
Owens, Scott
Funding for this research was provided by:
Engineering and Physical Sciences Research Council (GB) (EP/K503769/1)
Royal Society (GB)
Vetenskapsrådet
Gates Cambridge Trust
License valid from 2016-02-15