Número de Cutter-SanbornP745aEntrada «Poer» → 745 · marca de obra “a”

Adapting Proofs-As-Programs

Name: Adapting Proofs-As-Programs
ISBN: 9780387281834

The Curry--Howard Protocol

Autor	Iman Poernomo, John N. Crossley, Martin Wirsing
Editorial	Springer London, Limited
Fecha de publicación	2005
Idioma	inglés
ISBN-13	9780387281834
Número de Cutter	`P745a`

Adapting Proofs-As-Programs (2005) — ISBN 9780387281834 | Cutter Number