A Scope-Taking System with Dependent Types and Continuations
Crossref DOI link: https://doi.org/10.1007/978-3-030-30077-7_7
Published Online: 2019-10-01
Published Print: 2020
Update policy: https://doi.org/10.1007/springer_crossmark_policy
GrudziĆska, Justyna
Zawadowski, Marek
Text and Data Mining valid from 2019-10-01
Chapter History
First Online: 1 October 2019