Hoppa till innehåll
CAVAL Home
Start Over
Mitt konto
Logga ut
Logga in
Språk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Alla fält
Titel
Upphovsman
Ämne
ISBN/ISSN
Streckkod
Sök
Avancerad
Lambda calculus and computer s...
Hänvisa
Textmeddelande
Skicka per e-post
Skriv ut
Exportera posten
Exportera till: RefWorks
Exportera till: EndNoteWeb
Exportera till: EndNote
Lägg till i favoriter
Permanent länk
Lambda calculus and computer science theory.
Sparad:
Bibliografiska uppgifter
Materialtyp:
Bok
Språk:
English
Publicerad:
[Japan :
s.n.],
1984.
Ämnen:
Combinatory logic.
Programming languages (Electronic computers)
Beståndsuppgifter
Beskrivning
Katalogiseringsuppgifter
CARM 1 Store
Beståndsuppgifter i CARM 1 Store
Signum:
A3:AF12F0 C12375
Exemplar 1
Tillgänglig
Reservera
Liknande verk
[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Publicerad: (1975)
Recursive programming techniques /
av: Burge, William H.
Publicerad: (1975)
Combinatory logic
av: Curry, Haskell B. (Haskell Brooks), 1900-
Publicerad: (1958)
Combinators, -terms and proof theory.
av: Stenlund, Soren
Publicerad: (1972)
Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings /
Publicerad: (1986)