Publications

Export 1 results:
Filters: Author is Peter Schroeder-Heister  [Clear All Filters]
2001
Studer, T.: Constructive foundations for Featherweight Java. In: Kahle, R., Schroeder-Heister, P., and Stärk, R.F. Proceedings of the International Seminar on Proof Theory in Computer Science. pp. 202-238. Springer (2001).