Crossley, John Newsome.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Adapting Proofs-as-Programs = The Curry-Howard Protocol /
by:
Poernomo, Iman Hafiz.; SpringerLink (Online service); Crossley, John Newsome.; Wirsing, Martin.
(Language materials, printed)
Subjects
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.