Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: J. Roger Hindley 14 träffar

Titel Författare År Språk
1 Combinatory logic Vol. 2 1972 Engelska
2 Basic Simple Type Theory J. Roger Hindley 1997 Engelska
3 Introduction to combinators and λ-calculus J. Roger Hindley 1986 Engelska
4 Lambda-Calculus and Combinators - An Introduction 2008 Engelska
5 Combinatory Logic. Volume II (Studies in logic and the foundations of mathematics v. 65) J. P. Seldin 1972 Okänt
6 To H.B. Curry - essays on combinatory logic, lambda calculus and formalism 1980 Engelska
7 Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications 1997 Engelska
8 Basic Simple Type Theory J. Roger Hindley 1997 Okänt
9 Basic simple type theory / J. Roger Hindley. electronic resource J. Roger Hindley uuuu-uuuu Okänt
10 Lambda-calculus and combinators, an introduction J. Roger. Hindley 2008 Engelska
11 Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin. electronic resource J. Roger Hindley uuuu-uuuu Okänt
12 Lambda-Calculus and Combinators: An Introduction Roger J. Hindley uuuu-uuuu Okänt
13 Typed Lambda Calculi and Applications - Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings International Conference on Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications 1997 Engelska
14 Handbook of the history of logic V. 5, Logic from Russell to Church 2009 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.