
-3 %
Lectures on the Curry-Howard Isomorphism
1 609 kr
1 609 kr
Tidligere laveste pris:
1 665 kr
På lager
Fr., 11 april - ti., 22 april
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Produktbeskrivelse
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.The isomorphism has many aspects, even at the syntactic level:formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc.But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transformsproofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.Key features- The Curry-Howard Isomorphism treated as common theme- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics- Thorough study of the connection between calculi and logics- Elaborate study of classical logics and control operators- Account of dialogue games for classical and intuitionistic logic- Theoretical foundations of computer-assisted reasoning
Artikkel nr.
275a03f2-a41f-49eb-9723-a31de82465ac
Lectures on the Curry-Howard Isomorphism
1 609 kr
1 609 kr
Tidligere laveste pris:
1 665 kr
På lager
Fr., 11 april - ti., 22 april
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Lignende toppselgere

-10 %
Generic
Fidget Spinners med Sugekopp for Barn
179 kr
Tidligere laveste pris:
199 kr
4,7
onsdag, 9 april

KIRKLAND
6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss
1 390 kr
5,0
tirsdag, 8 april

Generic
Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart
99 kr
4,5
onsdag, 9 april

-14 %
Bigstren
Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h
599 kr
Tidligere laveste pris:
699 kr
4,3
onsdag, 9 april

Global Items
Smart Ørerens med Kamera – Trådløs & Sikker Øreinspeksjon Hvit
299 kr
3,0
tirsdag, 15 april

Generic
4-Pak - Tesla Senterkopper - Bil Svart/silver
129 kr
4,5
onsdag, 9 april

-2 %
Generic
Trådløs CarPlay-adapter 2024
449 kr
Tidligere laveste pris:
459 kr
4,3
onsdag, 9 april

KIRKLAND
3x Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss
749 kr
3,4
tirsdag, 8 april

INF
INF Øreputer for Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
99 kr
4,6
tirsdag, 8 april

-10 %
INF
INF Tilbehør Roborock S6/S60/S65/S5 Max/T6, 20 deler
347 kr
Tidligere laveste pris:
386 kr
3,7
mandag, 7 april
Anbefalinger til dig

-34 %
VITU
Astronaut Night Light / Galaxy Lampe med fjernkontroll - Nepula Starry Sky Projector
329 kr
Tidligere laveste pris:
499 kr
3,2
fredag, 4 april

Gardlov
Plenlufter - Piggsko for å lufte plenen
269 kr
4,0
torsdag, 24 april

-9 %
INF
INF TYPE-C Dual SD/TF-kortleser for rask dataoverføring 0
107 kr
Tidligere laveste pris:
118 kr
3,3
tirsdag, 8 april

INF
INF Filter for MSPA oppblåsbare bassenger FD2089 4-pakning
299 kr
4,7
mandag, 7 april

Vitu
Veivradio med solceller, lommelykt og 2000mAh Powerbank SOS
299 kr
4,2
fredag, 4 april

INF
INF Etterfilter til Dyson V11 / V15 akselstøvsuger 3-pakning
229 kr
3,9
mandag, 7 april

Perfect Baking Set
Barnebake kjøkken kjøkkenkniv kjøkkensett barnekjøkken kjøkkenutstyr barn 13-delt sett
294 kr
4,4
mandag, 14 april

Pro
Digital vekt - lommevekt, smykkevekt 0,01 - 200g
119 kr
4,3
fredag, 4 april

Generic
G9 LED-lyspærer – Varmhvit – 10stk
119 kr
3,3
onsdag, 9 april

-17 %
Megabilligt
Sovende hodetelefoner - Hodebånd og øyemaske med Bluetooth -hodetelefoner
249 kr
Tidligere laveste pris:
299 kr
4,1
onsdag, 9 april