Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Curry-Howard isomorphism.
Proof theory.
Logic, Symbolic and mathematical.
Functional programming (Computer science)
Lambda calculus.
Abstract data types (Computer science)
Electronic Data Processing
Curry-Howard, Isomorphisme de.
Théorie de la preuve.
Logique symbolique et mathématique.
Programmation fonctionnelle.
Lambda-calcul.
Types abstraits de données (Informatique)
Informatique.
MATHEMATICS
Curry-Howard isomorphism
Lambda calculus
Logic, Symbolic and mathematical
Proof theory
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary goes here
Item Description:General Notes
Physical Description:1 online resource (xi, 420 pages) :illustrations
ISBN:0387237593
9780387237596
9780387281834
0387281835