Paul Tarau. Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Fundamenta Informaticae, 177(3-4):385-415, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.