Yazar
j roger hindley
7 cilt bulundu.
J. Roger Hindley · Cambridge University Press
193 sayfa · 1997
Programming languages (Electronic computers) / Type theory / Programming languages (electronic computers) / Programming Languages / Langages de programmation
![[Lambda]-calculus and combinators](https://covers.openlibrary.org/b/id/8684269-L.jpg)
J. Roger Hindley · Cambridge University Press
358 sayfa · 2008
Combinatory logic / Lambda calculus / Calculus / Logic
![Introduction to combinators and [lambda]-calculus](https://covers.openlibrary.org/b/id/8456647-L.jpg)
J. Roger Hindley · Cambridge University Press
360 sayfa · 1986
Combinatory logic / Lambda calculus / Combinatorial analysis / Calculus
J. Roger Hindley · University Press
170 sayfa · 1972
Combinatory logic / Logic, symbolic and mathematical
J. Roger Hindley, Jonathan P. Seldin · Cambridge University Press
Sayfa sayısı yok · 2008
Kategori yok
Haskell B. Curry, J. Roger Hindley, J. P. Seldin · Academic Press
606 sayfa · 1980
Addresses, essays, lectures / Symbolic and mathematical Logic / Cornea / Congresses / Surgery