Some relations between operational and denotational semantics of a typed lambda calculus

  • M. Struik

Student thesis: Master

Abstract

Date of Award31 May 1988
Original languageEnglish
SupervisorC. (Kees) Hemerik (Supervisor 1) & Huub M.M. ten Eikelder (Supervisor 2)

Cite this

Some relations between operational and denotational semantics of a typed lambda calculus
Struik, M. (Author). 31 May 1988

Student thesis: Master