Have a personal or library account? Click to login
Sampling β-normal linear λ-terms Cover

Authors

Olivier Bodini

bodini@lipn.univ-paris13.fr

LIPN, Université Sorbonne Paris Nord, Villetaneuse, France

Alexandros Singh

singh@lipn.univ-paris13.fr

LIPN, Université Sorbonne Paris Nord, Villetaneuse, France

Noam Zeilberger

noam.zeilberger@lix.polytechnique.fr

LIX, École Polytechnique, Palaiseau, France
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

© 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.