H. Linnestad
External collaborator
Publications
Simula-affiliated publications listed
1996
Proceedings, refereed
Read Higher Order Proof by Consistency
H. Linnestad, C. Prehofer and O. Lysne
Higher Order Proof by Consistency
Foundations of Software Technology and Theoretical Computer Science, 16th Conference