Poernomo, Iman Hafiz.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
Poernomo, Iman Hafiz.; SpringerLink (Online service); Crossley, John Newsome.; Wirsing, Martin.
(書目-語言資料,印刷品)
主題
Abstract data types (Computer science)
Computer Science.
Curry-Howard isomorphism.
Functional programming (Computer science)
Lambda calculus.
Logic Design.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
Models and Principles.
Programming Techniques.
Proof theory.
Software Engineering/Programming and Operating Systems.