Constructive Foundations for Featherweight Java (0)

by Studer
Venue:Proof Theory in Computer Science, International Seminar, PTCS’01, Dagstuhl