Książka Domain-theoretic Foundations Of Functional Programming Thomas Streicher

Domain-theoretic Foundations Of Functional Programming

Język: Angielski
Oprawa: Twarda
Dostępność: Dodruk
Termin nieznany
204.60
Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2006
strony
132
EAN
9789812701428
ISBN
9789812701428
Enbook ID
06788222
Waga
374
Wymiary
164 x 236 x 14

Pełny opis

Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It also introduces computability in Scott domains.

Możesz być zainteresowany

Lawless

Lj Anderson
61.55

SEABIRDS

HARRISON
388.50
123.41

Colbé

Faron Fariba
80.01
187.32
61.16

Wild for Austen

LOOSER DEVONEY
94.93
195.37
302.29
119.97

The Aloha Quilt

Jennifer Chiaverini
59.29
31.90
263.61
867.14

Klienci, którzy kupili tę książkę, kupili również

Saint Gens

Lamouroux
72.35

El principito

Antoine de Saint-Exupery
23.65
195.67

ESTUDIO EN LILA

MARIA ANTONIA OLIVER
34.45
85.02

Magnetyczni

Segiet Eliza
27.38