article · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991

An Ideal Model for an Extended Lambda-Calculus with Refinement

Levy, J., Agusti, J., Esteva, F, Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

Cited by 1Abstract and details only

Abstract

In Computer Science, Lambda Calculus has been mainly used as the skeleton of functional programming languages. It has also been used as a higher order parameterization mechanism in some specification languages. In this paper we view -calculus as both the applicative structure of a programming formalism and a low-level specification formalism. Considered as a programming formalism, its operational semantics is the usual one, mainly based on fi-reduction. Considered as a specification formalism -calculus admits a precise notion of refinement between -expressions. This refinement relation will stand for the correctness of a step in the incremental development of a program from a specification. The main goal of this paper is to show that -calculus, extended with some set operators, can be interpreted as a specification formalism in a domain whose elements are a particular class of posets (partial ordered sets), the closed ideals. The main reason of such interpretation is that it allows to...

Cite this paper

APA 7

Levy, J., Agusti, J., Esteva, F., & Science, E. U. U. K. L. F. F. O. C. (1991). An Ideal Model for an Extended Lambda-Calculus with Refinement. OpenGrey (Institut de l'Information Scientifique et Technique).

MLA 9

Levy, J., et al. “An Ideal Model for an Extended Lambda-Calculus with Refinement.” OpenGrey (Institut de l'Information Scientifique et Technique), 1991.

Chicago

Levy, J., J. Agusti, F Esteva, and Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science. 1991. “An Ideal Model for an Extended Lambda-Calculus with Refinement.” OpenGrey (Institut de l'Information Scientifique et Technique).

Harvard

Levy, J. et al. (1991) ‘An Ideal Model for an Extended Lambda-Calculus with Refinement’, OpenGrey (Institut de l'Information Scientifique et Technique).

BibTeX

@article{levy1991ideal,
  title = {{An Ideal Model for an Extended Lambda-Calculus with Refinement}},
  author = {Levy, J. and Agusti, J. and Esteva, F and Science, Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer},
  journal = {OpenGrey (Institut de l'Information Scientifique et Technique)},
  year = {1991}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.