Mariangiola Dezani-Ciancaglini | 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; Gordon Plotkin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja

51,40 €

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

Giorgio Ausiello; Mariangiola Dezani-Ciancaglini; Simonetta Ronchi Della Rocca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1989)
Pehmeäkantinen kirja

101,40 €

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

Mariangiola Dezani-Ciancaglini, Gordon Plotkin

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 452 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 17.03.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 902

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