Adapting proofs-as-programs : the Curry-Howard protocol

Author(s)
Bibliographic Information

Adapting proofs-as-programs : the Curry-Howard protocol

Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing

(Monographs in computer science)

Springer, c2005

  • : hbk
  • : pbk

Search this Book/Journal
Note

Includes bibliographical references (p. [407]-416) and index

Related Books: 1-1 of 1
Details
Page Top