Languages with Contexts 2: An Applicative Language

Click 02_Languages_with_Contexts_2.pdf link to view the file.