Convolution \bar\lambda\mu -Calculus

DOI10.1007/978-3-540-73228-0_27MaRDI QIDQ3612645zbMATH OpenOpenAlexFDO

Authors Lionel Vaux

Publication date 10 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73228-0_27

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• On convolution and \(q\)-calculus
• scientific article; zbMATH DE number 67543
• Convolution and Fourier-Feynman transforms
• Convolution in weighted Lorentz spaces of type
• Convolution of L² - functions
• Convolution in \((W_{M,a}^p)'\)-space
• The \(\lambda \mu^{\mathbf{T}}\)-calculus
• Convolutions and Fourier-Feynman transforms of functionals involving multiple integrals
• Calculus of operators: covariant transform and relative convolutions
• The differential \(\lambda \mu\)-calculus

Cited in

(3)

• Differential Linear Logic and Polarization
• scientific article; zbMATH DE number 7204443 (Why is no real title available?)
• is for Dialectica

This page was built for publication: Convolution $\bar\lambda\mu$ -Calculus

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