Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (Q5902124)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi |
scientific article; zbMATH DE number 5571824
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
1.0000001
0 references
0.9139129
0 references
0.90113735
0 references
0.89666426
0 references
0.8962299
0 references
0.8923371
0 references
0.8894198
0 references
0.8826691
0 references
0.88116246
0 references