Lectures on the Curry-Howard isomorphism
tarafından
 
Sørensen, Morten Heine.

Başlık
: 
Lectures on the Curry-Howard isomorphism

Yazar
: 
Sørensen, Morten Heine.

ISBN
: 
9780444520777
 
9780080478920

Basım Bilgisi
: 
1st ed.

Yayın Bilgileri
: 
Amsterdam ; Boston [MA] : Elsevier, 2006.

Fiziksel Tanımlama
: 
1 online resource (xiv, 442 p.) : ill.

Seri
: 
Studies in logic and the foundations of mathematics, v. 149

Seri Başlığı
: 
Studies in logic and the foundations of mathematics, 0049-237X ; v. 149

Konu Terimleri
: 
Curry-Howard isomorphism.
 
Lambda calculus.
 
Proof theory.

Yazar Ek Girişi
: 
Urzyczyn, Paweł.

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777


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