𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards a formal proof system for ω-rational expressions

✍ Scribed by Ph. Darondeau; L. Kott

Book ID
113162690
Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
404 KB
Volume
19
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

System ST toward a type system for extra
System ST toward a type system for extraction and proofs of programs
✍ Christophe Raffalli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 200 KB

We introduce a new type system called "System ST" (ST stands for subtyping), based on subtyping, and prove the basic property of the system. We show the extraordinary expressive power of the system which leads us to think that it could be a good candidate for doing both proof and extraction of progr