Mariangiola Dezani-Ciancaglini (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

TYPED LAMBDA CALCULI AND APPLICATIONS : SECOND INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA '95, EDIN

Mariangiola Dezani-Ciancaglini (ed.); Gordon Plotkin (ed.)
Springer (1995)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

AUTOMATA, LANGUAGES AND PROGRAMMING : 16TH INTERNATIONAL COLLOQUIUM, STRESA, ITALY, JULY 11-15, 1989. PROCEEDINGS

Giorgio Ausiello (ed.); Mariangiola Dezani-Ciancaglini (ed.); Simonetta Ronchi Della Rocca (ed.)
Springer (1989)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edin

Mariangiola Dezani-Ciancaglini (ed.), Gordon Plotkin (ed.)

49,60 €

Springer
Sivumäärä: 452 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 17.03.1995 (lisätietoa)
Kieli: Englanti

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus