Dynamic Lambda Calculus

Abstract

In this paper, we introduce a lambda calculus DLC that is intended as a meta-logic for compositional discourse logics, and we investigate its meta-theory. We present a brief reconstruction of application languages for natural language semantics and programming language semantics. DLC extends simply typed-calculus with an operator for the declaration of… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics