Eugenio Moggi  Home/Search
Context Related
| disi.unige.it/person/Mog...thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis investigates various formal systems for reasoning about partial functions or partial elements, with particular emphasis on lambda calculi for partial functions. Beeson's (intuitionistic) logic of partial terms (LPT) is taken as the basic formal system and some of its metamathematical properties are established (for later application). Three different flavours of Scott's logic of partial elements (LPE) are considered and it is shown that they are conservative extensions of LPT. This... (Update)
Context of citations to this paper: More
.... In fact, we believe that such a theory would be closely related to the call by value lambda calculi studied by Plotkin and Moggi [Mog88]. This result would have the following pleasant corollaries. Let D be any denotational model of PCF in which the operational semantics...
...transformation oe cannot be extended to functional types. Instead, one can use a notion of logical relation between c models (see [Mog88] for various notions of logical relation between p models) 4 The c calculus In this section we present a formal system, the c...
Cited by: More
Syntactic Considerations on Recursive Types - Abadi, Fiore (1996) (Correct)
The Lazy Lambda Calculus - Abramsky (1990) (Correct)
Partial Applicative Theories and Explicit Substitutions - Strahm (1996) (Correct)
Similar documents based on text: More All
0.5: Model Sets in a Nonconstructive Logic of Partial Terms with.. - Gumb (2000) (Correct)
0.4: Statistical Methods For The Analysis Of A.. - Frome, Smith.. (1994) (Correct)
0.4: LS, List Scheduling - List Scheduling For (Correct)
Related documents from co-citation: More All
5: A type-theoretic alternative to CUCH (context) - Scott - 1969
5: Denotational semantics with partial functions (context) - Plotkin - 1985
5: Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
BibTeX entry: (Update)
E. Moggi. The Partial Lambda-Calculus. PhD thesis, University of Edinburgh, 1988. http://citeseer.ist.psu.edu/moggi88partial.html More
@phdthesis{ moggi88partial,
author = "Eugenio Moggi",
title = "The Partial Lambda-Calculus",
pages = "351",
year = "1988",
url = "citeseer.ist.psu.edu/moggi88partial.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/MoggiE/publications.html): More
Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996) (Correct)
Typed Intermediate Languages for Shape-Analysis - Bellè, Moggi (1997) (Correct)
Monads, Shapely Functors and Traversals - Moggi, Bellè, Jay (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC