Ugo de' Liguoro  @ NUS Home/Search
Context
Related
| di.unito.it/~deligu/pub...UdLTesi.ps.gz Cached: PS.gz PS PDF Image Update Help From: di.unito.it/~deligu/pub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction 3 1.1 Explicit non determinism : : : : : : : : : : : : : : : : : : : : : 3 1.2 What this thesis is about : : : : : : : : : : : : : : : : : : : : : 5 1.3 Related work : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 1.4 Summary and results : : : : : : : : : : : : : : : : : : : : : : : 7 2 Non-determinism and type-free -calculus 9 2.1 Powerdomains : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 2.2 The non-determinism in term rewriting systems : : : : : : : ... (Update)
Active bibliography (related documents): More All
2.3: Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
1.1: Must Preorder in Non-Deterministic Untyped λ-calculus - de'Liguoro, Piperno (1992) (Correct)
0.8: A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
Similar documents based on text: More All
0.3: Characterizing Convergent Terms in Object Calculi via.. - de'Liguoro (Correct)
0.2: Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
0.2: Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
BibTeX entry: (Update)
@misc{ liguoro-nondeterministic,
author = "Ugo de' Liguoro",
title = "Non-Deterministic untyped λ-calculus - A study about explicit non
determinism in higher-order functional calculi",
url = "citeseer.comp.nus.edu.sg/669377.html" }
Citations (may not include all citations):729 The Lambda-Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
306 LCF considered as a programming language (context) - Plotkin - 1977
194 Functions as Processes (context) - Milner - 1990
149 Testing Equivalences for Processes (context) - De Nicola, Hennessy - 1983
146 A Powerdomain Construction (context) - Plotkin - 1976
130 Full Abstraction in the Lazy Lambda Calculus (context) - Abramsky, Ong - 1989
118 Lambda Calculus Models of Programming Languages (context) - Morris - 1968
117 Semantic Domains - Gunter, Scott - 1990
87 Notions of Computation and Monads - Moggi - 1991
77 Full Abstraction for a Simple Parallel Programming Language (context) - Hennessy, Plotkin - 1979
67 Computational semantics of term rewriting systems (context) - Boudol - 1986
62 A Calculus of Higher-Order Communicating Systems (context) - Thomsen - 1989
59 The relation between computational and denotational properti.. (context) - Wadsworth - 1976
52 Towards a lambda-calculus for concurrent and communicating s.. (context) - Boudol - 1989
36 Stable models of typed lambda-calculi (context) - Berry - 1978
36 Call-by-need computations in nonambiguous linear term rewrit.. (context) - Huet, Levy - 1979
33 A Calculus of Mobile Processes, Parts I and II (context) - Milner, Parrow et al. - 1989
33 A Syntactic Characterization of the Equality in some Models .. (context) - Hyland - 1976
30 Relating theories of the lambda calculus (context) - Scott - 1980
29 Lambda Calculus Models and Extensionality (context) - Hindley, Longo - 1980
26 Power Domains (context) - Smyth - 1978
23 A powerdomain for countable non-determinism (context) - Plotkin - 1982
22 On Semantic Foundations for Applicative Multiprogramming (context) - Abramsky - 1983
21 Call-by-name, Call-by-value and the -calculus (context) - Plotkin - 1975
19 A mathematical Semantics for a Non-deterministic Typed Lambd.. (context) - Ashcroft, Hennessy - 1980
16 The category theoretic solution of recursive domain equation.. (context) - Plotkin, Smyth - 1982
14 The Semantics of Call-by-value and Call-byname in a nondeter.. (context) - Hennessy - 1980
14 Nondeterminism and Fully Abstract Models (context) - Astesiano, Costa - 1980
14 A Lambda Calculus for (Strict) Parallel Functions (context) - Boudol - 1990
13 Algebraic Semantics (context) - Guessarian - 1981
11 A Domain-theoretic Model for a Higher-order Process Calculus - Jagadeesan, Panangaden - 1990
8 A Cook's Tour of Countable Nondeterminism (context) - Apt, Plotkin - 1981
7 Syntactic Aspects of the Non-deterministic Lambda Calculus (context) - Sharma - 1984
6 Semantique Operationelle at Algebrique Des Programmes Recurs.. (context) - Boudol - 1980
6 Alcune proprieta' delle forme fi-j-normali nel -K- calcolo (context) - Bohm - 1968
5 An algebraic interpretation of the fiK-calculus and a labell.. (context) - Levy - 1975
4 Powerdomains and nondeterministic recursive definitions (context) - Hennessy - 1982
4 Expansion and Conversion Models in the Lambda Calculus From .. (context) - Jacobs, Margaria et al.
3 Semi)- separability of finite sets of terms in Scott's D1-mo.. (context) - Coppo, Dezani-Ciancaglini et al. - 1978
3 Must preorder in non-deterministic untyped -calculus (context) - de'Liguoro, Piperno
3 Models of the lambda-calculus (context) - Koymans - 1982
2 Initial algebraic semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
2 Semantics for Type Checking (context) - Plotkin
1 The lazy callby -value lambda calculus (context) - Egidi, Honsell et al. - 1991
1 A Lambd-Calculus for Parallel Functions (context) - Boudol - 1990
1 Fully Abstract Models fro Typed -calculi (context) - Milner - 1977
1 Continuous Semilattices (context) - Adamek, Reiterman et al. - 1986
1 Nondeterministic Programs: an Algebraic Overview (context) - Nivat - 1980
Documents on the same site (http://www.di.unito.it/~deligu/pub/): More
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.