The placeholder view of assumptions and the Curry–Howard correspondence
Crossref DOI link: https://doi.org/10.1007/s11229-020-02706-z
Published Online: 2020-06-03
Published Print: 2021-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pezlar, Ivo http://orcid.org/0000-0003-1965-2159
Funding for this research was provided by:
Grantová Agentura Ceské Republiky (19-12420S)
Text and Data Mining valid from 2020-06-03
Version of Record valid from 2020-06-03
Article History
Received: 25 September 2019
Accepted: 15 May 2020
First Online: 3 June 2020