Crossmark

From Types to Sets by Local Type Definition in Higher-Order Logic

Crossref DOI link: https://doi.org/10.1007/s10817-018-9464-6

Published Online: 2018-06-04

Published Print: 2019-02

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Kunčar, Ondřej http://orcid.org/0000-0003-0753-4788
Popescu, Andrei
Funding

Funding for this research was provided by:

Deutsche Forschungsgemeinschaft (NI 491/13-3)

Engineering and Physical Sciences Research Council (EP/N019547/1)
License Information

Text and Data Mining valid from 2018-06-04
More Information

Article History

Received: 31 March 2017

Accepted: 20 April 2018

First Online: 4 June 2018