Strong normalization theorems for quantized -calculi

MaRDI QIDQ3067641zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 21 January 2011

Full work available at URL http://pphmj.com/abstract/5169.htm

zbMATH Keywords

involutive quantaleslambda calculusquantum logicstrong normalizationsubstructural logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Strong normalizability of typed lambda-calculi for substructural logics
• Natural deduction for quantum logic
• scientific article; zbMATH DE number 1499092
• Arithmetical proofs of strong normalization results for symmetric lambda calculi
• scientific article; zbMATH DE number 2080223

Cited in

(5)

• Confluence results for a quantum lambda calculus with measurements
• Asymptotically almost all \lambda-terms are strongly normalizing
• scientific article; zbMATH DE number 7393562 (Why is no real title available?)
• The dagger lambda calculus
• Typing Quantum Superpositions and Measurement

This page was built for publication: Strong normalization theorems for quantized \(\lambda \)-calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067641)