Výsledky vyhľadávania - Lambda calculus complexity enumeration expected complexity

  • Zobrazené výsledky 1 - 1 z 1
Upresniť hľadanie
  1. 1
    Obálka

    On counting untyped lambda terms Autor Lescanne, Pierre

    ISSN: 0304-3975, 1879-2294
    Vydavateľské údaje: Elsevier B.V 25.02.2013
    Vydané v Theoretical computer science (25.02.2013)
    “… (another presentation of λ-calculus) we propose several results on counting untyped lambda terms, i.e…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: