Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444520777

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Classical logic and control operators

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80007-8 ◽

2006 ◽

pp. 127-159

Author(s):

Morten Heine Sørensen ◽

Pawel Urzyczyin

Keyword(s):

Classical Logic ◽

And Control ◽

Control Operators

Download Full-text

Intuitionistic logic

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80003-0 ◽

2006 ◽

pp. 27-54 ◽

Cited By ~ 1

Author(s):

Morten Heine Sørensen ◽

Pawel Urzyczyin

Keyword(s):

Intuitionistic Logic

Download Full-text

Dependent types

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80014-5 ◽

2006 ◽

pp. 325-341

Author(s):

Morten Heine Sørensen ◽

Pawel Urzyczyin

Keyword(s):

Dependent Types

Download Full-text

First-order arithmetic

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80010-8 ◽

2006 ◽

pp. 229-249

Author(s):

Morten Heine Sørensen ◽

Pawel Urzyczyin

Keyword(s):

First Order ◽

Order Arithmetic

Download Full-text

Second-order logic polymorphism

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80012-1 ◽

2006 ◽

pp. 269-302

Author(s):

Morten Heine Sørensen ◽

Pawel Urzyczyin

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Type-free λ-calculus

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80002-9 ◽

2006 ◽

pp. 1-25

Author(s):

M.H. Sørensen ◽

P. Urzyczyn

Download Full-text

Series Page

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80499-4 ◽

2006 ◽

pp. ii

Download Full-text

Index

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80019-4 ◽

2006 ◽

pp. 431-442

Download Full-text

Mathematical background

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80016-9 ◽

2006 ◽

pp. 361-371

Keyword(s):

Mathematical Background

Download Full-text

Bibliography

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(06)80018-2 ◽

2006 ◽

pp. 403-430 ◽

Cited By ~ 2

Author(s):

M.H. Sørensen ◽

P. Urzyczyn

Download Full-text

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Classical logic and control operators

Intuitionistic logic

Dependent types

First-order arithmetic

Second-order logic polymorphism

Type-free λ-calculus

Series Page

Index

Mathematical background

Bibliography

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics
Latest Publications