✦ LIBER ✦

Approximation and optimization : A. Gomez et al. (Eds), Lecture Notes in Mathematics, vol. 1354, Springer-Verlag, Berlin, 1988. XII + 277 pages, DM 42.50. ISBN 3-540-50443-5

✍ Scribed by C. Brezinski

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 66 KB
Volume: 31
Category: Article
ISSN: 0378-4754
DOI: 10.1016/0378-4754(90)90069-u

No coin nor oath required. For personal study only.

✦ Synopsis

The Curry-Howard isomorphism 4. The normalisation theorem 5. Sequent calculus 6. Strong normalisation theorem 7. Gbdel's system T 8. Coherence spaces 9. Denotational semantics of T 10

📜 SIMILAR VOLUMES

S. A. Levin and T. G. Hallam (eds.): Mat

S. A. Levin and T. G. Hallam (eds.): Mathematical Ecology. Proceedings of the Autumn Course held at the International Centre for Theoretical Physics, Miramare-Trieste, Italy, 29 Nov.-10 Dec. 1982 = Lecture Notes in Biomathematics (Managing Ed. S. Levin) Vol. 54.—With XII/513 pp. Berlin — Heidelberg — New York — Tokyo: Springer-Verlag 1984. ISBN 3-540-12919-7. DM 67,50, US $ 26.50

✍ F. Recknagel 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 117 KB