Liquori, Luigi; Spiwack, Arnaud Extending FeatherTrait Java with interfaces. (English) Zbl 1146.68026 Theor. Comput. Sci. 398, No. 1-3, 243-260 (2008). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{L. Liquori} and \textit{A. Spiwack}, Theor. Comput. Sci. 398, No. 1--3, 243--260 (2008; Zbl 1146.68026) Full Text: DOI
Castagna, Giuseppe; de Nicola, Rocco; Varacca, Daniele Semantic subtyping for the pi-calculus. (English) Zbl 1146.68052 Theor. Comput. Sci. 398, No. 1-3, 217-242 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Castagna} et al., Theor. Comput. Sci. 398, No. 1--3, 217--242 (2008; Zbl 1146.68052) Full Text: DOI
Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe Role-based access control for boxed ambients. (English) Zbl 1146.68020 Theor. Comput. Sci. 398, No. 1-3, 203-216 (2008). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{A. Compagnoni} et al., Theor. Comput. Sci. 398, No. 1--3, 203--216 (2008; Zbl 1146.68020) Full Text: DOI
Margaria, Ines; Zacchi, Maddalena Access control in mobile ambient calculi: a comparative view. (English) Zbl 1146.68021 Theor. Comput. Sci. 398, No. 1-3, 183-202 (2008). MSC: 68M14 68Q85 94A62 PDF BibTeX XML Cite \textit{I. Margaria} and \textit{M. Zacchi}, Theor. Comput. Sci. 398, No. 1--3, 183--202 (2008; Zbl 1146.68021) Full Text: DOI
Hoyrup, Mathieu; Kolçak, Arda; Longo, Giuseppe Computability and the morphological complexity of some dynamics on continuous domains. (English) Zbl 1146.68035 Theor. Comput. Sci. 398, No. 1-3, 170-182 (2008). MSC: 68Q10 37C50 37D45 PDF BibTeX XML Cite \textit{M. Hoyrup} et al., Theor. Comput. Sci. 398, No. 1--3, 170--182 (2008; Zbl 1146.68035) Full Text: DOI
Di Gianantonio, Pietro; Honsell, Furio; Lenisa, Marina A type assignment system for game semantics. (English) Zbl 1146.68048 Theor. Comput. Sci. 398, No. 1-3, 150-169 (2008). MSC: 68Q55 03B40 PDF BibTeX XML Cite \textit{P. Di Gianantonio} et al., Theor. Comput. Sci. 398, No. 1--3, 150--169 (2008; Zbl 1146.68048) Full Text: DOI
Alessi, Fabio An irregular filter model. (English) Zbl 1146.68046 Theor. Comput. Sci. 398, No. 1-3, 129-149 (2008). MSC: 68Q55 03B40 68N18 PDF BibTeX XML Cite \textit{F. Alessi}, Theor. Comput. Sci. 398, No. 1--3, 129--149 (2008; Zbl 1146.68046) Full Text: DOI
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. (English) Zbl 1146.68028 Theor. Comput. Sci. 398, No. 1-3, 114-128 (2008). MSC: 68N18 03B40 03F05 PDF BibTeX XML Cite \textit{D. J. Dougherty} et al., Theor. Comput. Sci. 398, No. 1--3, 114--128 (2008; Zbl 1146.68028) Full Text: DOI
Bono, Viviana; Venneri, Betti; Bettini, Lorenzo A typed lambda calculus with intersection types. (English) Zbl 1145.68009 Theor. Comput. Sci. 398, No. 1-3, 95-113 (2008). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{V. Bono} et al., Theor. Comput. Sci. 398, No. 1--3, 95--113 (2008; Zbl 1145.68009) Full Text: DOI
van Bakel, Steffen The heart of intersection type assignment: Normalisation proofs revisited. (English) Zbl 1145.68014 Theor. Comput. Sci. 398, No. 1-3, 82-94 (2008). MSC: 68N18 03B40 03F05 PDF BibTeX XML Cite \textit{S. van Bakel}, Theor. Comput. Sci. 398, No. 1--3, 82--94 (2008; Zbl 1145.68014) Full Text: DOI
Boudol, Gérard On strong normalization and type inference in the intersection type discipline. (English) Zbl 1145.68010 Theor. Comput. Sci. 398, No. 1-3, 63-81 (2008). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{G. Boudol}, Theor. Comput. Sci. 398, No. 1--3, 63--81 (2008; Zbl 1145.68010) Full Text: DOI
Paolini, Luca Parametric \(\lambda \)-theories. (English) Zbl 1145.68013 Theor. Comput. Sci. 398, No. 1-3, 51-62 (2008). MSC: 68N18 03B40 68Q55 PDF BibTeX XML Cite \textit{L. Paolini}, Theor. Comput. Sci. 398, No. 1--3, 51--62 (2008; Zbl 1145.68013) Full Text: DOI
Dal Lago, Ugo; Martini, Simone The weak lambda calculus as a reasonable machine. (English) Zbl 1145.68011 Theor. Comput. Sci. 398, No. 1-3, 32-50 (2008). MSC: 68N18 03B40 68Q05 PDF BibTeX XML Cite \textit{U. Dal Lago} and \textit{S. Martini}, Theor. Comput. Sci. 398, No. 1--3, 32--50 (2008; Zbl 1145.68011) Full Text: DOI
Klop, Jan Willem; van Oostrom, Vincent; de Vrijer, Roel Lambda calculus with patterns. (English) Zbl 1145.68012 Theor. Comput. Sci. 398, No. 1-3, 16-31 (2008). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{J. W. Klop} et al., Theor. Comput. Sci. 398, No. 1--3, 16--31 (2008; Zbl 1145.68012) Full Text: DOI
Barendregt, Henk Towards the range property for the lambda theory \(\mathcal H\). (English) Zbl 1145.68008 Theor. Comput. Sci. 398, No. 1-3, 12-15 (2008). MSC: 68N18 03B40 PDF BibTeX XML Cite \textit{H. Barendregt}, Theor. Comput. Sci. 398, No. 1--3, 12--15 (2008; Zbl 1145.68008) Full Text: DOI
Berardi, Stefano; de’Liguoro, Ugo Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca. (English) Zbl 1138.01318 Theor. Comput. Sci. 398, No. 1-3, 1-11 (2008). MSC: 01A70 PDF BibTeX XML Cite \textit{S. Berardi} and \textit{U. de'Liguoro}, Theor. Comput. Sci. 398, No. 1--3, 1--11 (2008; Zbl 1138.01318) Full Text: DOI