Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Lambda calculus with types için kapak resmi
      1. 
      Lambda calculus with types
      by 
      Barendregt, Henk.
      Click to View
      Format: 
      Alıntı: 
      Lambda calculus with types Barendregt, Henk.
      The lambda calculus : its syntax and semantics için kapak resmi
      2. 
      The lambda calculus : its syntax and semantics
      by 
      Barendregt, H. P. (Hendrik Pieter)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444875082
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
      Format: 
      Alıntı: 
      The lambda calculus : its syntax and semantics / Barendregt, H. P. (Hendrik Pieter)
      Lectures on the Curry-Howard isomorphism için kapak resmi
      3. 
      Lectures on the Curry-Howard isomorphism
      by 
      Sørensen, Morten Heine.
      Click to View
      Format: 
      Alıntı: 
      Lambda calculus.
      Language in action : categories, lambdas, and dynamic logic için kapak resmi
      4. 
      Lectures on the Curry-Howard isomorphism için kapak resmi
      5.