Consistency and axiomatization of a natural extensional combinatory logic
From MaRDI portal
Publication:1352493
DOI10.1007/BF02879998zbMath0862.03005OpenAlexW2022686755MaRDI QIDQ1352493
Publication date: 25 May 1997
Published in: Science in China. Series A (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02879998
Cites Work
- Banach spaces related to integrable group representations and their atomic decompositions. I
- Toeplitz and Hankel type operators on the upper half-plane
- Phase space, wavelet transform and Toeplitz-Hankel type operators
- Decomposition of Hardy Functions into Square Integrable Wavelets of Constant Shape
- Ten Lectures on Wavelets
- One-dimensional drift-diffusion between two absorbing boundaries: application to granular segregation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Consistency and axiomatization of a natural extensional combinatory logic