• Documents
  • Authors
  • Tables

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

Computational Lambda-Calculus and Monads (1988)

Cached

  • Download as a PDF

Download Links

  • [pfp7.is.ocha.ac.jp]
  • [www.disi.unige.it]
  • [www.disi.unige.it]
  • [www.disi.unige.it]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.cs.cmu.edu]
  • [www.disi.unige.it]
  • [pdf.aminer.org]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Eugenio Moggi
Citations:498 - 6 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Moggi88computationallambda-calculus,
    author = {Eugenio Moggi},
    title = {Computational Lambda-Calculus and Monads},
    booktitle = {},
    year = {1988},
    pages = {14--23},
    publisher = {IEEE Computer Society Press}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one goes further and uses fij-conversion to prove equivalence of programs, then a gross simplification is introduced, that may jeopardise the applicability of theoretical results to real situations. In this paper we introduce a new calculus based on a categorical semantics for computations. This calculus provides a correct basis for proving equivalence of programs, independent from any specific computational model.

Keyphrases

computational lambda-calculus    real situation    new calculus    gross simplification    useful mathematical tool    consolidated tradition    specific computational model    correct basis    categorical semantics    theoretical result    extra constant    theoretical computer science    closed term    programming language   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University