A Model for a List-Oriented Extension of the Lambda Calculus,

Abstract

This work is intended to provide a semantics for a fragment of a programming language described by Gyorgy Revesz, for which no model was known. We begin with a brief presentation of the syntax of the lambda calculus and some relevant extensions. We then describe a class of complete lattices and use them as models for the lambda calculus. We then find specialized sublattices which we use as models for the extensions of the lambda calculus, thus achieving the original goal of finding a semantics for Revesz's language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1997
Accession Number
ADA327564

Entities

People

  • Glenn Durfee

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Calculus
  • Coding
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Continuity
  • Embedding
  • Equations
  • Language
  • Models
  • Monotone Functions
  • Notation
  • Programming Languages
  • Theoretical Computer Science
  • Universities

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Linguistics
  • Theoretical Analysis.