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

Cites work

scientific article; zbMATH DE number 1696439 (Why is no real title available?)
scientific article; zbMATH DE number 1705161 (Why is no real title available?)
scientific article; zbMATH DE number 2185674 (Why is no real title available?)
scientific article; zbMATH DE number 3831284 (Why is no real title available?)
scientific article; zbMATH DE number 3835992 (Why is no real title available?)
scientific article; zbMATH DE number 2086241 (Why is no real title available?)
scientific article; zbMATH DE number 445157 (Why is no real title available?)
scientific article; zbMATH DE number 3425121 (Why is no real title available?)
scientific article; zbMATH DE number 3889502 (Why is no real title available?)
scientific article; zbMATH DE number 3880074 (Why is no real title available?)
scientific article; zbMATH DE number 3829227 (Why is no real title available?)
scientific article; zbMATH DE number 3938562 (Why is no real title available?)
scientific article; zbMATH DE number 4049615 (Why is no real title available?)
scientific article; zbMATH DE number 4087629 (Why is no real title available?)
scientific article; zbMATH DE number 3659565 (Why is no real title available?)
scientific article; zbMATH DE number 3700185 (Why is no real title available?)
scientific article; zbMATH DE number 3735772 (Why is no real title available?)
scientific article; zbMATH DE number 51545 (Why is no real title available?)
scientific article; zbMATH DE number 92599 (Why is no real title available?)
scientific article; zbMATH DE number 176136 (Why is no real title available?)
scientific article; zbMATH DE number 3468256 (Why is no real title available?)
scientific article; zbMATH DE number 3483552 (Why is no real title available?)
scientific article; zbMATH DE number 3485195 (Why is no real title available?)
scientific article; zbMATH DE number 3532530 (Why is no real title available?)
scientific article; zbMATH DE number 3532922 (Why is no real title available?)
scientific article; zbMATH DE number 3557747 (Why is no real title available?)
scientific article; zbMATH DE number 3566822 (Why is no real title available?)
scientific article; zbMATH DE number 3571482 (Why is no real title available?)
scientific article; zbMATH DE number 3591961 (Why is no real title available?)
scientific article; zbMATH DE number 3611324 (Why is no real title available?)
scientific article; zbMATH DE number 3637819 (Why is no real title available?)
scientific article; zbMATH DE number 4127172 (Why is no real title available?)
scientific article; zbMATH DE number 1267558 (Why is no real title available?)
scientific article; zbMATH DE number 1088038 (Why is no real title available?)
scientific article; zbMATH DE number 2003154 (Why is no real title available?)
scientific article; zbMATH DE number 2044491 (Why is no real title available?)
scientific article; zbMATH DE number 2044493 (Why is no real title available?)
scientific article; zbMATH DE number 2061704 (Why is no real title available?)
scientific article; zbMATH DE number 2060756 (Why is no real title available?)
scientific article; zbMATH DE number 2080290 (Why is no real title available?)
scientific article; zbMATH DE number 1479607 (Why is no real title available?)
scientific article; zbMATH DE number 1499110 (Why is no real title available?)
scientific article; zbMATH DE number 1759417 (Why is no real title available?)
scientific article; zbMATH DE number 2163047 (Why is no real title available?)
scientific article; zbMATH DE number 2182488 (Why is no real title available?)
scientific article; zbMATH DE number 1361533 (Why is no real title available?)
scientific article; zbMATH DE number 1361535 (Why is no real title available?)
scientific article; zbMATH DE number 1377611 (Why is no real title available?)
scientific article; zbMATH DE number 2086520 (Why is no real title available?)
scientific article; zbMATH DE number 1841834 (Why is no real title available?)
scientific article; zbMATH DE number 761284 (Why is no real title available?)
scientific article; zbMATH DE number 3412158 (Why is no real title available?)
A CUCH-machine: The automatic treatment of bound variables
A Filter Model for Concurrent $\lambda$-Calculus
A Soft Type Assignment System for λ-Calculus
A behavioural model for Klop's calculus
A characterization of F-complete type assignments
A complete characterization of complete intersection-type preorders
A data structure formalization through generating function
A discrimination algorithm inside $\lambda -\beta$-calculus
A filter lambda model and the completeness of type assignment
A filter model for mobile processes
A fully abstract model for mobile ambients
A new type assignment for λ-terms
A type inference algorithm for a stratified polymorphic type discipline
A type inference algorithm for secure ambients
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Alpha-conversion and typability
An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
An extension of basic functionality theory for $\lambda$-calculus
Approximation theorems for intersection type systems
Asynchronous Session Types and Progress for Object Oriented Languages
Behavioural inverse limit $\lambda$-models
Bounded Session Types for Object Oriented Languages
Boxed ambients with communication interfaces
Call-by-value Solvability
Characterization of normal forms possessing inverse in the $\lambda$- $\beta$-$\eta$-calculus
Characterization theorems for a filter lambda model
Combining type disciplines
Comparing cubes of typed and type assignment systems
Completeness of type assignment in continuous lambda models
Compositional characterisations of $\lambda$-terms using intersection types
Decidability properties of recursive types.
Discrimination by parallel observers: the algorithm.
Encoding ℂDuce in the ℂπ-Calculus
Fickle: Dynamic Object Re-classification
Filter models for conjunctive-disjunctive $\lambda$-calculi
Foundations of Software Science and Computation Structures
From Böhm's theorem to observational equivalences: an informal account
Functional Characters of Solvable Terms
Infinitary lambda calculus and discrimination of Berarducci trees.
Infinite $\lambda$-calculus and types
International symposium on programming. 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Intersection and union types
Intersection and union types: Syntax and semantics
Intersection typed $\lambda $-calculus
Intersection types and domain operators
Intersection types and lambda models
Intersection types for $\lambda$-trees
Intersection types for combinatory logic
Intersection types for explicit substitutions
Intersection-types à la Church
Lambda calculus and intuitionistic linear logic
Lazy logical semantics
Lazy strong normalization
M$^3$: mobility types for mobile processes in mobile ambients
Mathematical Foundations of Computer Science 2004
May and must convergency in concurrent λ-calculus
Notes on ?A CUCH-machine: The automatic treatment of bound variables?
On the semantics of polymorphism
Parametric parameter passing $\lambda$-calculus
Partial Types and Intervals
Preface
Principal type scheme and unification for intersection type discipline
Principal type schemes for an extended type theory
Principal types and unification for simple intersection type systems
Processes, Terms and Cycles: Steps on the Road to Infinity
Reduction of storage employed to represent families of information structures
Refinement types for program analysis
Security Types for Dynamic Web Data
Security types for dynamic web data
Space-aware ambients and processes
Strictness, totality, and non-standard-type inference
Structured Operational Semantics of a fragment of the language Scheme
The ``relevance of intersection and union types
The call-by-value λ-calculus: a semantic investigation
The parametric lambda calculus. A metamodel for computation.
The semantics of entailment omega
Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4--6, 2001. Proceedings
Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12--14, 2005. Proceedings.
Towards an intersection typed system à la Church
Trustworthy Global Computing
Type inference in polymorphic type discipline
Type inference with recursive types: Syntax and semantics
Type inference, abstract interpretation and strictness analysis
Type preorders and recursive terms
Type theories, normal forms, and $D_{\infty}$-lambda-models
Typed Lambda Calculi and Applications
Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26--28, 2007. Proceedings.
Types for Proofs and Programs
Types for ambient and process mobility
Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.

This page was built for publication: Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q930863)