Popis: Adapting proof-as-programs :

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Poernomo, Iman Hafiz, 1976- (Autor), Crossley, John N., 1937- (Autor), Wirsing, Martin, 1948- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	New York : Springer, c2005.
Edice:	Monographs in computer science
Témata:	Abstract data types (Computer science) Curry-Howard isomorphism. Functional programming (Computer science) Lambda calculus. Logic, Symbolic and mathematical. Proof theory.

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xi, 420 p.
Bibliografie:	Includes bibliographical references and index.
ISBN:	0-387-23759-3