Search results

Records found: 1  
Your query: All authors = "Urzyczyn Pawel"

  1. 1.Lectures on the Curry-Howard isomorphism

      Borrow
    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

    book

      Borrow


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all