scientific article; zbMATH DE number 7327951

MaRDI QIDQ5856422

Ryu Hasegawa

Publication date: 26 March 2021

Full work available at URL: https://arxiv.org/abs/1707.02034

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

normalizationcontrol operatorscall-by-value\(\lambda\mu\)-calculustype discipline

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Strong normalization proofs by CPS-translations
• Complete restrictions of the intersection type discipline
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
• Polymorphic Delimited Continuations
• Proofs of strong normalisation for second order classical natural deduction
• Strong normalization proof with CPS-translation for second order classical natural deduction

This page was built for publication: