Sampling β-normal linear λ-terms

Publicado en línea: 18 jun 2022

Páginas: 45 - 55

Recibido: 31 mar 2022

Aceptado: 15 may 2022

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

Palabras clave

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.