Publication:3070759

zbMath1313.03002MaRDI QIDQ3070759

Silvia Ghilezan, Silvia Likavec

Publication date: 26 January 2011

zbMATH Keywords

sequent calculus; natural deduction; intuitionistic logic; object-oriented programming; functional programming; classical logic; lambda-calculus; Curry-Howard correspondence

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B70: Logic in computer science

03B40: Combinatory logic and lambda calculus

Related Items

Intersection Types for the Resource Control Lambda Calculi