Explicit substitution in two versions of typed lambda calculus

  • J.J. van Horssen

Student thesis: Master

Abstract

Date of Award30 Apr 1992
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1) & C. (Kees) Hemerik (Supervisor 2)

Cite this

Explicit substitution in two versions of typed lambda calculus
van Horssen, J. J. (Author). 30 Apr 1992

Student thesis: Master