Commenti: Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.

Summary goes here

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	inglese
Soggetti:	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:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Lascia un commento!