Contexts in Lambda Calculus
M. Bognar · Data Archiving and Networked Services (DANS) · 2002
Many people have helped me to contribute my modest share, or more precisely, my cube, to theoretical computer science.Here, I wish to express my gratitude for their help.In the first place, I am deeply grateful to my supervisors Jan Willem Klop and Roel de Vrijer for giving me the opportunity and freedom to (re)search, and for offering their guidance in the process of writing this thesis.From my