Suchergebnisse - Lambda calculus complexity enumeration expected complexity

Andere Suchmöglichkeiten:

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    On counting untyped lambda terms von Lescanne, Pierre

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Elsevier B.V 25.02.2013
    Veröffentlicht in Theoretical computer science (25.02.2013)
    “… (another presentation of λ-calculus) we propose several results on counting untyped lambda terms, i.e …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: