Effectful Applicative Similarity for Call-By-Name Lambda Calculi
Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2019.12.025
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2020
Authors
Publisher
Elsevier BV
Available in full text
April 1, 2020
Elsevier BV