Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
From MaRDI portal
Publication:5901474
DOI10.1007/978-3-540-73228-0_11zbMath1167.03012arXiv0903.1822OpenAlexW1563963610MaRDI QIDQ5901474
Luís Pinto, José Espírito Santo, Ralph Matthes
Publication date: 10 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0903.1822
Functional programming and lambda calculus (68N18) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Monadic translation of classical sequent calculus ⋮ Monadic Translation of Intuitionistic Sequent Calculus
This page was built for publication: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi