Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (Q5902124)
From MaRDI portal
scientific article; zbMATH DE number 5571824
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi |
scientific article; zbMATH DE number 5571824 |
Statements
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (English)
0 references
30 June 2009
0 references
call-by-name
0 references
simply-typed lambda-calculus
0 references
continuation-and-garbage-passing-style translation
0 references
intuitionistic sequent calculus
0 references
strong normalisation
0 references
