Mariangiola Dezani-Ciancaglini, Silvia Ghilezan  Home/Search
Context
Related
| di.unito.it/~dezani/paper...rpc01.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: di.unito.it/~dezani/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We build a lambda model which characterizes completely (persistently) normalizing, (persistently) head normalizing, and (persistently) weak head normalizing terms. (Update)
Active bibliography (related documents): More All
1.9: Two Behavioural Lambda Models - Dezani-Ciancaglini, Ghilezan (Correct)
0.9: Lambda Models Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (2001) (Correct)
0.8: Behavioural Inverse Limit λ-Models - Dezani-Ciancaglini, Ghilezan.. (2003) (Correct)
Similar documents based on text: More All
0.3: Infinitary Lambda Calculus and Discrimination of.. - Dezani-Ciancaglini.. (2001) (Correct)
0.3: Böhm's Theorem for Berarducci Trees - Dezani-Ciancaglini, Severi, de Vries (2000) (Correct)
0.3: A Complete Characterization of Complete.. - Dezani-Ciancaglini.. (Correct)
BibTeX entry: (Update)
@misc{ dezani-ciancaglini-lambda,
author = "Mariangiola Dezani-Ciancaglini and Silvia Ghilezan",
title = "A Lambda Model Characterizing Computational Behaviours of Terms",
url = "citeseer.ist.psu.edu/725302.html" }
Citations (may not include all citations):214 Domains for denotational semantics (context) - Scott - 1982
139 Type systems for programming languages (context) - Mitchell - 1990
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Luke - 1993
121 Intensional interpretations of functionals of finite type (context) - Tait - 1967
109 Continuous lattices (context) - Scott - 1972
75 Domain theory in logical form (context) - Abramsky - 1991
64 A type assignment for the strongly normalizable -terms (context) - Pottinger - 1980
61 Une extension de l'interpretation de Godel a l'analyse (context) - Girard - 1971
53 Cambridge University Press (context) - Johnstone - 1986
50 Domains and lambda-calculi (context) - Amadio, Curien - 1998
42 A realizability interpretation of the theory of species (context) - Tait - 1975
42 Extended type structures and filter lambda models (context) - Coppo, Dezani-Ciancaglini et al. - 1984
41 Complete restrictions of the intersection type discipline - van Bakel - 1992
36 Typing and computational properties of lambda expressions (context) - Leivant - 1986
27 Set-theoretical and other elementary models of the -calculu.. - Plotkin - 1993
22 Strong normalization and typability with intersection types (context) - Ghilezan - 1996
18 Lambda-calcul Types et mod eles (context) - Krivine - 1990
16 Logical relations and the typed -calculus (context) - Statman - 1985
14 or reducibility strikes again (context) - Gallier, -terms - 1998
12 Foundation for Programmimg Languages (context) - Mitchell - 1996
11 teoria dei domini e modelli del lambda calcolo (context) - Alessi - 1991
9 Open problem (context) - Scott - 1975
7 Church-Rosser theorem for typed functionals (context) - Koletsos - 1985
5 Lecture notes on domain interpretation of type theory (context) - Martin-Lof - 1983
3 terms using intersection types (context) - Dezani-Ciancaglini, Honsell et al. - 2000
2 terms as total or partial functions on normal forms (context) - Bohm, Dezani-Ciancaglini - 1975
Documents on the same site (http://www.di.unito.it/~dezani/papers/): More
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
Type Preorders and Recursive Terms - Alessi, Dezani-Ciancaglini (2004) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (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