Basic category theory for computer scientists
tarafından
 
Pierce, Benjamin C.

Başlık
: 
Basic category theory for computer scientists

Yazar
: 
Pierce, Benjamin C.

ISBN
: 
9780262288460

Yayın Bilgileri
: 
Cambridge, Mass. : MIT Press, c1991.

Fiziksel Tanımlama
: 
1 online resource (xiii, 100 p.)

Seri
: 
Foundations of computing

Seri Başlığı
: 
Foundations of computing

Konu Terimleri
: 
Computer science -- Mathematics.
 
Categories (Mathematics)
 
sémantique langage programmation.
 
foncteur.
 
lambda calcul.
 
conception langage programmation.
 
catégorie.
 
théorie catégorie.
 
Informatica.

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap220245-1001ONLINEElektronik Kütüphane