Cited in
(5)- The seventeen provers of the world. Foreword by Dana S. Scott..
- System ST toward a type system for extraction and proofs of programs
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Declarative representation of proof terms
- Getting results from programs extracted from classical proofs
This page was built for software: PhoX
