Sampling β-normal linear λ-terms

Publié en ligne: 18 juin 2022

Pages: 45 - 55

Reçu: 31 mars 2022

Accepté: 15 mai 2022

DOI: https://doi.org/10.2478/puma-2022-0008

Mots clés

lambda-calculus, cubic map, random generation, linear logic

© 2022 Olivier Bodini et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.