Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
type: Item
instance of: scholarly article
title: Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
zbMATH Open document ID: 1138.01318
author: Stefano Berardi
author: Ugo de'Liguoro
published in: Theoretical Computer Science
publication date: 2008-06-24T00:00:00Z
Mathematics Subject Classification ID: 01A70
zbMATH DE Number: 5292213
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.01.018
OpenAlex ID: W1999149357
cites work: A CUCH-machine: The automatic treatment of bound variables
cites work: Q5677053
cites work: Notes on ?A CUCH-machine: The automatic treatment of bound variables?
cites work: Q4068081
cites work: A data structure formalization through generating function
cites work: Q4142679
cites work: Q3212645
cites work: Q4066583
cites work: Q4109302
cites work: Q4053088
cites work: Q4109650
cites work: Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
cites work: Reduction of storage employed to represent families of information structures
cites work: Q4133598
cites work: Q4138712
cites work: A discrimination algorithm inside \(\lambda -\beta\)-calculus
cites work: Q4159030
cites work: Q4175261
cites work: A new type assignment for λ-terms
cites work: Q4198724
cites work: Q3858241
cites work: Q3893285
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Functional Characters of Solvable Terms
cites work: Q3922648
cites work: Q3043110
cites work: International symposium on programming. 5th Colloquium, Turin, April 6-8, 1982. Proceedings
cites work: Characterization theorems for a filter lambda model
cites work: A filter lambda model and the completeness of type assignment
cites work: On the semantics of polymorphism
cites work: Q3036694
cites work: Q3674034
cites work: Completeness of type assignment in continuous lambda models
cites work: Q3221961
cites work: Q3345747
cites work: Principal type schemes for an extended type theory
cites work: Q3709890
cites work: Q4206708
cites work: A characterization of F-complete type assignments
cites work: Type theories, normal forms, and \(D_{\infty}\)-lambda-models
cites work: Q3786467
cites work: Principal type scheme and unification for intersection type discipline
cites work: Q3816053
cites work: Partial Types and Intervals
cites work: Q4001923
cites work: Intersection and union types
cites work: Type inference with recursive types: Syntax and semantics
cites work: Q4035237
cites work: Type inference in polymorphic type discipline
cites work: Q4835619
cites work: Intersection types for combinatory logic
cites work: Q4018065
cites work: An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
cites work: Type inference, abstract interpretation and strictness analysis
cites work: Q3142164
cites work: May and must convergency in concurrent λ-calculus
cites work: Q4501164
cites work: Combining type disciplines
cites work: Q4490718
cites work: A type inference algorithm for a stratified polymorphic type discipline
cites work: Intersection and union types: Syntax and semantics
cites work: Principal types and unification for simple intersection type systems
cites work: Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
cites work: Q3024851
cites work: Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
cites work: Refinement types for program analysis
cites work: Filter models for conjunctive-disjunctive \(\lambda\)-calculi

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4235428

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Comparing cubes of typed and type assignment systems

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4364386

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Lambda calculus and intuitionistic linear logic

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: The ``relevance'' of intersection and union types

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4703040

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4699353

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A Filter Model for Concurrent $\lambda$-Calculus

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4699351

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Structured Operational Semantics of a fragment of the language Scheme

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Infinite \(\lambda\)-calculus and types

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4458488

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A filter model for mobile processes

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Preface

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Discrimination by parallel observers: the algorithm.

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Alpha-conversion and typability

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Call-by-value Solvability

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: The call-by-value λ-calculus: a semantic investigation

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4472544

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A complete characterization of complete intersection-type preorders

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4536366

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q2766539

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4448355

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q2771055

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4448357

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: From Böhm's Theorem to Observational Equivalences

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Approximation theorems for intersection type systems

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Fickle: Dynamic Object Re-classification

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4--6, 2001. Proceedings

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4783322

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Intersection types for \(\lambda\)-trees

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q3044339

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A type inference algorithm for secure ambients

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Strictness, totality, and non-standard-type inference

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4737001

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A fully abstract model for mobile ambients

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: The semantics of entailment omega

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Intersection typed \(\lambda \)-calculus

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Theoretical Computer Science

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: M\(^3\): mobility types for mobile processes in mobile ambients

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4457451

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4435466

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Infinitary lambda calculus and discrimination of Berarducci trees.

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Types for Proofs and Programs

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Intersection types and domain operators

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Mathematical Foundations of Computer Science 2004

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4673434

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Behavioural inverse limit \(\lambda\)-models

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Intersection types for explicit substitutions

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Lazy logical semantics

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Parametric parameter passing \(\lambda\)-calculus

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: The parametric lambda calculus. A metamodel for computation.

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Type preorders and recursive terms

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12--14, 2005. Proceedings.

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Typed Lambda Calculi and Applications

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Q4681363

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Compositional characterisations of \(\lambda\)-terms using intersection types

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Trustworthy Global Computing

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Towards an intersection typed system à la Church

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Lazy strong normalization

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Intersection types and lambda models

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Encoding ℂDuce in the ℂπ-Calculus

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Foundations of Software Science and Computation Structures

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Space-aware ambients and processes

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Asynchronous Session Types and Progress for Object Oriented Languages

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Security Types for Dynamic Web Data

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Bounded Session Types for Object Oriented Languages

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A behavioural model for Klop's calculus

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: A Soft Type Assignment System for λ-Calculus

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Boxed ambients with communication interfaces

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Intersection-types à la Church

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26--28, 2007. Proceedings.

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Types for ambient and process mobility

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (cites work)
cites work: Security types for dynamic web data

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (DOI)
DOI: 10.1016/J.TCS.2008.01.018