Uneingeschränkter Zugang

Sampling β-normal linear λ-terms

Olivier Bodini

Olivier Bodini

LIPN, Université Sorbonne Paris NordVilletaneuse, France
Suche nach diesem Autor auf
Sciendo|Google Scholar
Bodini, Olivier
, 
Alexandros Singh

Alexandros Singh

LIPN, Université Sorbonne Paris NordVilletaneuse, France
Suche nach diesem Autor auf
Sciendo|Google Scholar
Singh, Alexandros
 und 
Noam Zeilberger

Noam Zeilberger

LIX, École PolytechniquePalaiseau, France
Suche nach diesem Autor auf
Sciendo|Google Scholar
Zeilberger, Noam
  
18. Juni 2022
Sampling β-normal linear λ-terms's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 18. Juni 2022
Seitenbereich: 45 - 55
Eingereicht: 31. März 2022
Akzeptiert: 15. Mai 2022
DOI: https://doi.org/10.2478/puma-2022-0008
Schlüsselwörter
© 2022 Olivier Bodini et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
4 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, Theoretische Informatik, Wirtschaftswissenschaften, Mathematik und Statistik für Ökonomen, Mathematik, Mathematik, Analysis, Differentialgleichungen und dynamische Systeme
Zeitschrift RSS Feed