Higher Order Proof by Consistency
- Authors
- H. Linnestad, C. Prehofer and O. Lysne
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1996
- Journal
- Foundations of Software Technology and Theoretical Computer Science, 16th Conference
- Publisher
- Springer-Verlag
- Citation key
- 9971