Výsledky vyhledávání

Nalezeno záznamů: 2  
Váš dotaz: Předmět (klíč.slova) = "Lambda calculus"

  1. 1.Lambda-calculus and combinators, an introduction

      Půjčit
    Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin.    Cambridge : Cambridge University Press, 2008 . xi, 345 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Lambda-calculus and combinators, an introduction

    kniha

      Půjčit

  2. 2.Lectures on the Curry-Howard isomorphism

      Půjčit
    Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.    Amsterdam ; Oxford : Elsevier, 2006 . xiv, 442 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Lectures on the Curry-Howard isomorphism

    kniha

      Půjčit


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše