Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

by Roberto DiCosmo

Hardcover

details (USA).
(see also: eBook (Kindle))

details (UK).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (France).
(see also: livre numérique format Kindle)

ISBN: 978-0-8176-3763-7

ISBN-10: 0-8176-3763-X

Birkhäuser · 1994