Presents a theory based on lambda calculus that has power like ZFC set theory and contains a programming language as a natural subset. In: Theoretical Computer Science (TCS) vol.102, pp.1-133, 1992.
An addendum to the above TCS paper. Formally, however, the addendum is a dr.scient. dissertation and, formally, the TCS paper is an attachment to that dissertation. A Danish dr.scient. degree corresponds to a German habilitation. The dr.scient. degree is granted for a substantial piece of work which is typically of a duration of at least ten years following the Ph.D. and which has brought science a significant step forward.Klaus Grue, March 14, 2012