Towards partial evaluation of full scheme (1996)

by P Thiemann
Venue:In Reflection 96