Theory interpretation in simple type theory
Book chapter (January 1994)
The IOTA Programming System
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Chapter 1. Language, logical foundation, verification
-
Altmetric BadgeChapter 3 Chapter 2. System supports for modular programming
-
Altmetric BadgeChapter 4 Chapter 3. Strategies and techniques for interactive proof
-
Altmetric BadgeChapter 5 Chapter 4. Supports for building modules, modulebase
-
Altmetric BadgeChapter 6 Chapter 5. Language processing
-
Altmetric BadgeChapter 7 Chapter 6. Verification system
-
Altmetric BadgeChapter 8 Chapter 7. Proof system
-
Altmetric BadgeChapter 9 Chapter 8. Supports for cooperative modular programming
-
Altmetric BadgeChapter 10 Chapter 9. Program development witht he IOTA system — KWIC example
Altmetric Badge
Citations
- dimensions_citation
- 8 Dimensions