Publication:3070759
From MaRDI portal
zbMath1313.03002MaRDI QIDQ3070759
Silvia Ghilezan, Silvia Likavec
Publication date: 26 January 2011
sequent calculus; natural deduction; intuitionistic logic; object-oriented programming; functional programming; classical logic; lambda-calculus; Curry-Howard correspondence
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