Combinatory logic with polymorphic types
Crossref DOI link: https://doi.org/10.1007/s00153-021-00792-5
Published Online: 2021-08-27
Published Print: 2022-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Stirton, William R http://orcid.org/0000-0001-5619-5490
Text and Data Mining valid from 2021-08-27
Version of Record valid from 2021-08-27
Article History
Received: 22 August 2018
Accepted: 2 July 2021
First Online: 27 August 2021