Adapting proofs-as-programs : the curry - howard protocol

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Cover image for Adapting proofs-as-programs : the curry - howard protocol

Title:

Adapting proofs-as-programs : the curry - howard protocol

Personal Author:

Poernomo, Iman Hafiz

Series:

Monographs in computer science

Publication Information:

New York, NY : Springer, 2005

Physical Description:

xi, 420 p. : ill. ; 24 cm.

ISBN:

9780387237596

Subject Term:

Curry-Howard isomorphism

Logic, Symbolic and mathematical

Functional programming (Computer science)

Lambda calculus

Abstract data types (Computer science)

Added Author:

Crossley, John N.

Wirsing, M. (Martin)

Available:*

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010229374	QA9.54 P64 2005	Open Access Book	Book	Searching... Unknown
Searching... PSZ KL	30000010226356	QA9.54 P64 2005	Open Access Book	Book	Searching... Unknown

On Order