𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Diffraction tomography: Construction and interpretation of tomographic functionals

✍ Scribed by V. N. Troyan; G. A. Ryzhikov


Book ID
105542536
Publisher
Springer US
Year
1997
Tongue
English
Weight
894 KB
Volume
86
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Functional interpretation of Aczel's con
✍ Wolfgang Burr πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 266 KB

In the present paper we give a functional interpretation of Aczel's constructive set theories CZF -and CZF in systems T∈ and T + ∈ of constructive set functionals of ΓΏnite types. This interpretation is obtained by a translation Γ— , a reΓΏnement of the ∧ -translation introduced by Diller and Nahm (Arc