✦ LIBER ✦

A new proof of Robinson's homeomorphism theorem for pl-normal maps

✍ Scribed by Daniel Ralph

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 760 KB
Volume: 178
Category: Article
ISSN: 0024-3795
DOI: 10.1016/0024-3795(93)90344-n

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of the Borsuk Antipodal Theorem

A proof of the Borsuk Antipodal Theorem for Fredholm maps

✍ Kazimierz Gȩba; Andrzej Granas 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 322 KB

A new proof of de Giorgi's theorem conce

A new proof of de Giorgi's theorem concerning the regularity problem for elliptic differential equations

✍ Jürgen Moser 📂 Article 📅 1960 🏛 John Wiley and Sons 🌐 English ⚖ 469 KB 👁 1 views

A proof of the normal form theorem for t

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

✍ Silvio Valentini 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 300 KB

## Abstract In this paper a proof of the normal form theorem for the closed terms of __Girard's system F__ is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as we