Strong normalization theorems for quantized -calculi

zbMATH Open1218.03014MaRDI QIDQ3067641FDOQ3067641

Authors: Norihiro Kamide 

Publication date: 21 January 2011

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• 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)