Mechanized Metatheory Revisited
Crossref DOI link: https://doi.org/10.1007/s10817-018-9483-3
Published Online: 2018-10-04
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Miller, Dale http://orcid.org/0000-0003-0274-4954
Funding for this research was provided by:
European Research Council (ProofCert)
Text and Data Mining valid from 2018-10-04
Article History
Received: 18 October 2017
Accepted: 25 September 2018
First Online: 4 October 2018