Adapting Proofs-as-Programs The Curry-Howard Protocol / [electronic resource] :

• 作者： Poernomo, Iman Hafiz.
• 其他作者：
  • Wirsing, Martin.
  • Crossley, John Newsome.
  • SpringerLink (Online service)
• 出版： New York, NY : Springer Science+Business Media Inc.
• 叢書名： Monographs in computer science
• 主題： Curry-Howard isomorphism. , Proof theory. , Logic, Symbolic and mathematical , Functional programming (Computer science) , Lambda calculus , Abstract data types (Computer science) , Computer science , Logics and Meanings of Programs. , Mathematical Logic and Foundations. , Logic design , Programming Techniques. , Software Engineering/Programming and Operating Systems. , Models and Principles.
• ISBN： 9780387281834 (electronic bk.) 、 9780387237596 (paper)
• FIND@SFXID: CGU
• 資料類型: 電子書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: