Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the F

Artikelzustand: Neu

EUR 219,99

+ EUR 3,99 Versand
Bewährter Verkäufer
Rücknahmen
Keine Rücknahme, aber abgesichert über den eBay-Käuferschutz
Zahlungen
Kreditkarte
Überweisung
Weitere
Kreditkarte
Überweisung

Informationen zu diesem Verkäufer

 
 

Info zu diesem Artikel

Artikelzustand
Neu
Stückzahl
1 verfügbar
Format
Gebundene Ausgabe
Sprache
English
ISBN-13
9780444520777
Author
Morten Heine S
ISBN
9780444520777

Artikelbeschreibung

"The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc."
Alle ansehen