AN APPROXIMATION RESULT FOR JAVA VIA STRONGLY NORMALISING INTERSECTION TYPE DERIVATIONS (Extended Abstract)

by Reuben N. S. Rowe , Steffen van Bakel