Wolfgang Naraschewski

Selected papers from the International Workshop on Types for Proofs and Programs

Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski, 1998 .

Types for Proofs and Programs

J. van Leeuwen, Jan van Leeuwen, Thorsten Altenkirch, 2001, Lecture Notes in Computer Science.

Inheritance of Proofs

Martin Hofmann, Martin Steffen, Wolfgang Naraschewski, 1998, Theory Pract. Object Syst..

Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic

Wolfgang Naraschewski, Markus Wenzel, M. Wenzel, 1998, TPHOLs.