Dezani-Ciancaglini M., de'Liguoro U., Piperno A., "Filter Models for Conjunctive-Disjunctive -calculus", Theor. Comp. Sci. 170(1-2), 1996, 83--128. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Infinite lambda-calculus and Types - Berarducci, Dezani-Ciancaglini (1998) Self-citation (Dezani-ciancaglini) (Correct)
.... calculus, but intersection type disciplines are also suitable for describing models of the I calculus [5] 22] of the lazy calculus [2] of the call by value [19] 41] of the lazy call by value calculus [40] and of extensions including some parallel features (concurrent calculus) 3] [15], 16] In this approach, a model is described, in a finitary way, by a system assigning types to terms, such that the interpretation of a term in the model is 3 the set of types which can be deduced for it. This can be expressed through the slogan: the meaning of a program is the set of all ....
Dezani-Ciancaglini M., de'Liguoro U., Piperno A., "Filter Models for Conjunctive-Disjunctive -calculus", Theor. Comp. Sci. 170(1-2), 1996, 83--128.
Types for Trees - van Bakel, Barbanera.. Self-citation (Dezani-ciancaglini) (Correct)
No context found.
Dezani-Ciancaglini M., de'Liguoro U., Piperno A., "Filter Models for Conjunctive-Disjunctive -calculus", Theor. Comp. Sci., 170(1-2), 1996, 83-- 128.
Types for Trees - van Bakel, Barbanera.. (1999) Self-citation (Dezani-ciancaglini) (Correct)
No context found.
Dezani-Ciancaglini M., de'Liguoro U., Piperno A., "Filter Models for Conjunctive-Disjunctive - calculus", Theor. Comp. Sci. 170(1-2), 1996, 83--128.
Types for Trees - Barbanera, Dezani-Ciancaglini, al. Self-citation (Dezani-ciancaglini) (Correct)
No context found.
Dezani-Ciancaglini M., de'Liguoro U., Piperno A., "Filter Models for ConjunctiveDisjunctive -calculus", Theor. Comp. Sci. 170(1-2), 1996, 83--128.
Types for Trees - Barbanera, Dezani-Ciancaglini, de.. (1997) Self-citation (Dezani-ciancaglini) (Correct)
No context found.
Dezani-Ciancaglini M., de'Liguoro U., Piperno A., "Filter Models for Conjunctive-Disjunctive -calculus", Theor. Comp. Sci. 170(1-2), 1996, 83--128.
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