Sampling β-normal linear λ-terms

Data publikacji: 18 cze 2022

Zakres stron: 45 - 55

Otrzymano: 31 mar 2022

Przyjęty: 15 maj 2022

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

Słowa kluczowe

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.