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
Software Engineering/Programming and Operating Systems.
Functional programming (Computer science)
Curry-Howard isomorphism.
Logic, Symbolic and mathematical.
Lambda calculus.
Abstract data types (Computer science)
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Models and Principles.
Proof theory.
Logic Design.
Computer Science.
Programming Techniques.