Sampling β-normal linear λ-terms
DOI: https://doi.org/10.2478/puma-2022-0008 | Journal eISSN: 1788-800X
Language: English
Page range: 45 - 55
Submitted on: Mar 31, 2022
Accepted on: May 15, 2022
Published on: Jun 18, 2022
Published by: Corvinus University of Budapest
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2022 Olivier Bodini, Alexandros Singh, Noam Zeilberger, published by Corvinus University of Budapest
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.