Preservation of termination for explicit substitution
By: Carolus Johannes Bloo
Contributors: Technische Universiteit Eindhoven
Published: 1997
Language: eng
Number of pages: 178
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1997.