Menu
Виж статуса на поръчката
Свържете се с нас
Книга Lambda Calculi Chris Hankin

Lambda Calculi

A Guide for Computer Scientists

Автор: Chris Hankin
Език: Английски език
Корици: С меки корици
Издател: Oxford University Press
Наличност: Налично при издателя, по поръчка
Изпращаме след 17-26 дни
82.88 € 162.09 лв
The *L-calculus lies at the very foundations of Computer Science. Besides its historical role in co...

Информация за книгата

Автор
Chris Hankin
Език
Английски език
Корици
Книга - С меки корици
Издадена
1994
страници
176
EAN
9780198538400
ISBN
0198538405
Enbook ID
04527520
Издател
Oxford University Press
Теглоt
280
Размери
233 x 156 x 13

Пълно описание

The *L-calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasises the proof theory for the type-free *L-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability and the relationship between the *L -calculus and Combinatoryh Logic. Chapter 7 presents a variety of typed calculi; first the simply typed *L-calculus, then Milner-style polymorphism and, finally the polymorphic *L-calculus. Chapter 8 concerns three variants of the type-free *L-calculus that have recently appeared in the research literature: the lazy *L calculus, the concurrent *Y-calculus and the *L*O-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, the book is written from a Computer Science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in Computer Science. Research Students should find it a useful introduction to more specialist literature.

Може също да ви хареса

To Promote the Experimental Analysis of the Human Blood. Essay the First. by Richard Davies,

RICHARD DAVIES
28.88 € 56.48 лв

Day Trading Strategies: Advanced Techniques to Trade for a Living with Options, Forex, Stocks and Futures. Tips, Tricks and Tools to Manage Da

Paul Cohen
16.47 € 32.21 лв

School of Life

Alain de Botton
11.30 € 22.10 лв

Biomedical Entanglements

Franziska A. Herbst
38.37 € 75.05 лв

Landon's Little Black Book: The Perfect Dating Companion for a Handsome Man Named Landon. A secret place for names, phone numbers, and addresses.

Wingman Publishing
8.28 € 16.20 лв

I'm Somebody and So Are You!: The Human Connection in Education

Vera Ripp Hirschhorn
12.65 € 24.75 лв

Meditations

Marcus Aurelius
11.65 € 22.78 лв

Cyber Operations

Mike O'Leary
65.25 € 127.61 лв

Fairy Tales from Many Lands (1911)

Katharine Pyle
45.45 € 88.90 лв

Beginning Reactive Programming with Swift

Jesse Feiler
28.18 € 55.11 лв

Rest

Alex Soojung-Kim Pang
12.30 € 24.06 лв

Flip Flap Snap: Jungle

Joanna McInerney
10.09 € 19.74 лв

The Presence Centered Church

Bill Elliff
10.04 € 19.64 лв

English Phrasal Verbs in Use Advanced Book with Answers

Michael McCarthy
25.31 € 49.51 лв

Political Oratory of Emery A. Storrs

Emery Alexander Storrs
21.14 € 41.35 лв

Hillman Cars

James Taylor
11.50 € 22.49 лв

TALKING SIXTIES DRIVE-IN MOVIE

Tom Lisanti
23.10 € 45.18 лв

The Art of Organizing: An Artful Guide to an Organized Life

23.40 € 45.77 лв

One Good Turn

Carla Kelly
12.45 € 24.35 лв

Tito's Private Concentration Camp. Political Violence in Communist Yugoslavia on the example of ?Goli Otok?

14.81 € 28.97 лв

Carnivorous Plants

Torre
17.07 € 33.39 лв

New Economic Social Development

John Lok
33.50 € 65.52 лв

Strange Adventures

Mitch Gerads
33.25 € 65.03 лв

Unfortunate Christmas Murder

Hannah Hendy
10.09 € 19.74 лв

Клиенти, които купиха тази книга, купиха също

99 Tipps - Praxis-Ratgeber Schule für die Sekundarstufe I und II

Ferdinand Tewes
21.24 € 41.55 лв

EL OCASO DE LOS POBRES DIABLOS

Villarroel
23.25 € 45.48 лв

Mistinguett

Fuligni bruno
25.46 € 49.80 лв

Mrok tej nocy. Vera. Tom 9 wyd. 2025

Ann Cleeves
11.10 € 21.70 лв

Mémento 100% visuel des bilans sanguins IFSI

Diot
16.82 € 32.90 лв

De Corporis Humani Gangliorum Fabrica Atque Usu: Monographia

Karl Wilhelm Wutzer
30.69 € 60.02 лв

Stymulacja Prawej i Lewej Półkuli Mózgu Zeszyt 5 Analiza i synteza wzrokowa Materiał atematyczny

Bala Agnieszka
6.78 € 13.25 лв

Gruppentherapie

Andreas Pfeiffer
29.18 € 57.07 лв

Producción de leche y carne con Cratylia argetea en pastoreo

Epigmenio Castillo Gallegos
50.33 € 98.43 лв

Das Prinzip des Mosaismus

David Einhorn
25.71 € 50.29 лв

Wia tanzn is, 1 Audio-CD

Die Strottern
23.50 € 45.97 лв

Zszywacz 1011 A Czarny

2.71 € 5.30 лв

Georg Philipp Telemann und seine Zeit

Siegbert Rampe
42.94 € 83.99 лв

Karakterologija Jugoslovena I

Vladimir Dvornikovic
31.89 € 62.38 лв

Uso de extractos vegetales para control de plagas y enfermedades

Neira Monica
70.42 € 137.73 лв

Schritte International Neu 2 Zeszyt ćwiczeń

Praca Zbiorowa
12.70 € 24.85 лв

Zakłady holenderskie

Radosław Jurczak
6.48 € 12.66 лв

Manuel d'auto-défense contre les violences psychologiques - Se protéger et s'en sortir

Ariane Calvo
22.00 € 43.02 лв

La Javanaise - Tome 2/2

20.69 € 40.47 лв

Otto Skorzeny, el nazi más peligroso en la España de Franco

FRANCISCO J. RODRIGUEZ DE GASPAR DONES
29.68 € 58.05 лв