Linear-use CPS translations in the enriched effect calculus

Keyphrases

• Calculus 100%
• Call-by-name 33%
• Call-by-value 33%
• Completeness Results 16%
• Continuation-passing Style 100%
• Full Completeness 16%
• Intuitionistic Linear Logic 33%
• Involutive 16%
• Isomorphism 16%
• Linear Logic 16%
• Metalanguage 16%
• Name Translation 16%
• Self-translation 16%
• Simply Typed lambda Calculus 16%
• Target Language 16%
• Translation Style 100%

Computer Science

• Call by Value 100%
• lambda-calculus 50%
• Target Language 50%

Engineering

• Main Theorem 100%