Search Results - "Lambda calculus complexity enumeration expected complexity"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    On counting untyped lambda terms by Lescanne, Pierre

    ISSN: 0304-3975, 1879-2294
    Published: Elsevier B.V 25.02.2013
    Published in Theoretical computer science (25.02.2013)
    “…Despite λ-calculus is now three quarters of a century old, no formula counting λ-terms has been proposed yet, and the combinatorics of λ-calculus is considered…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: