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

substructural logicquantum logiclambda calculusstrong normalizationinvolutive quantales

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40) 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)

• scientific article; zbMATH DE number 7393562 (Why is no real title available?)
• Confluence results for a quantum lambda calculus with measurements
• Asymptotically almost all \lambda-terms are strongly normalizing
• 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)