Science, computer, Monographs, Protocol, Adapting, CurryHoward, ProofsasPrograms
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

List Price: $ 99.00



Price: $ 79.11









Find More Computers Products

Other posts like this, by keyword:

Science:

Introduction to Computational Science: Modeling and Simulation for the Sciences ...
Hidden Light: Science Secrets of the Bible ...
Biochar for Environmental Management: Science and Technology ...
From Neurons to Neighborhoods : The Science of Early Childhood Development ...
Computational Number Theory and Digital Signal Processing (Computer Science & Engineering) Reviews ...
Natural Reflections: Human Cognition at the Nexus of Science and Religion (The Terry Lectures Series) ...
The Savior of Science ...
A Drop in the Ocean: The Story of Water (Science Works) ...
Faith, Science, and Reason: Theology on the Cutting Edge ...
Introduction to Architectural Science, Second Edition: The Basis of Sustainable Design ...
computer:

The computer is always entertaining. ...
Computational Number Theory and Digital Signal Processing (Computer Science & Engineering) Reviews ...
Mmorpg: How a computer game becomes deadly serious ...
How i will make the configure 1 computer to others computers? ...
Software Engineering: A Practitioner’s Approach (McGraw-Hill International Editions: Computer Science Series) ...
what’s the difference between computer science and computer engineering? ...
Non-Photorealistic Computer Graphics: Modeling, Rendering, and Animation (The Morgan Kaufmann Series in Computer Graphics) ...
Guide to Computer Forensics and Investigations, Second Edition ...
Software Engineering and Computer Games ...
Programming of Computer Numerically Controlled Machines ...
Monographs:

The Chemical Physics of Ice (Cambridge Monographs on Physics) ...
Crime Stories: Criminalistic Fantasy and the Culture of Crisis in Weimar Germany (Monographs in German History) Reviews ...
Random Fields and Geometry (Springer Monographs in Mathematics) ...
Experimental Techniques in Low-Temperature Physics (Monographs on the Physics and Chemistry of Materials, 59) Reviews ...
The Biology of the Naked Mole-Rat (Monographs in Behavior and Ecology) ...
Acculturation And Parent-child Relationships: Measurement And Development (Monographs in Parenting) (Monographs in Parenting Series) ...
Acculturation And Parent-child Relationships: Measurement And Development (Monographs in Parenting) (Monographs in Parenting Series) Reviews ...
Proteomic biomarker discovery for preeclampsia: Research into circulating biomarkers to identify a serious pregnancy disorder ...
Steps of Perfection: Exorcistic Performers and Chinese Religion in Twentieth-Century Taiwan (Harvard East Asian Monographs) ...
Protocol:

X Protocol Reference Manual for Version 11 of the X Window System (Definitive Guides to the X Window System) (V.0) ...
Adapting:

CurryHoward:

ProofsasPrograms: