REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

REWRITING AND TYPED LAMBDA CALCULI

GILLES DOWEK

Año edición: 20-07-2014

Colección:

EAN: 9783319089195

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

REWRITING AND TYPED LAMBDA CALCULI

9783319089195

46.78€

REWRITING AND TYPED LAMBDA CALCULI

CAMBRIDGE UNIVERSITY PRESS

COMPUTATION, PROOF, MACHINE

GILLES DOWEK/MARION ROMAN/PIERRE GUILLOT GILLES DOWEK/MARION ROMAN/PIERRE GUILLOT GILLES DOWEK/MARION ROMAN/PIERRE GUILLOT

9780521118019

134.41€

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

INTRODUCTION TO THE THEORY OF PROGRAMMING LANGUAGES

GILLES DOWEK/JEAN-JACQUES LEVY GILLES DOWEK/JEAN-JACQUES LEVY

9780857290755

48.65€

REWRITING AND TYPED LAMBDA CALCULI

SPRINGER NATURE B.V.

PROOFS AND ALGORITHMS

9780857291202

48.39€