Welcome to IOU Digital Library

A scholarly monograph that develops an adaptive extension of the proofs-as-programs paradigm based on the Curry–Howard correspondence. The book presents a formal framework for relating logic, proof theory, and functional programming, with a focus on protocol adaptation, program correctness, and abstract data types. It integrates concepts from proof theory, lambda calculus, and semantics to address the construction and evolution of correct programs from logical specifications.

no reviews

245: $a: Adapting Proofs-as-Programs: The Curry–Howard Protocol
245: $b:
082: $a:
100: $a: Iman Hafiz Poernomo & John Newsome Crossley & Martin Wirsing
650: $a: Theoretical computer science
250: $a:
440: $v:
250: $b: Springer Science+Business Media
250: $c: 2005
020: $a: 978-0-387-23759-6
300: $a: 292