Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Cast�ran) of Coq'Art: The Calculus of Inductive Constructions (2004).

G�rard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.

Jean-Jacques L�vy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.

Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen:

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Versandinformationen:

Orders usually dispatched within two working days.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu From Semantics to Computer Science: Essays in Honour...

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Bertot, Yves (Editor)/ Huet, Gerard (Editor)/ Levy, Jean-Jacques (Editor)/ Plotkin, Gordon (Editor)

Neu - Hardcover

Unternehmensdaten des Verk�ufers