Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863): Difference between revisions

@@ Property / cites work @@
+A CUCH-machine: The automatic treatment of bound variables
+Normal rank
@@ Property / cites work @@
+Q5677053
@@ Property / cites work: Q5677053 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on ?A CUCH-machine: The automatic treatment of bound variables?
+Normal rank
@@ Property / cites work @@
+Q4068081
@@ Property / cites work: Q4068081 / rank @@
+Normal rank
@@ Property / cites work @@
+A data structure formalization through generating function
+Normal rank
@@ Property / cites work @@
+Q4142679
@@ Property / cites work: Q4142679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3212645
@@ Property / cites work: Q3212645 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066583
@@ Property / cites work: Q4066583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109302
@@ Property / cites work: Q4109302 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4053088
@@ Property / cites work: Q4053088 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109650
@@ Property / cites work: Q4109650 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
+Normal rank
@@ Property / cites work @@
+Reduction of storage employed to represent families of information structures
+Normal rank
@@ Property / cites work @@
+Q4133598
@@ Property / cites work: Q4133598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138712
@@ Property / cites work: Q4138712 / rank @@
+Normal rank
@@ Property / cites work @@
+A discrimination algorithm inside \(\lambda -\beta\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4159030
@@ Property / cites work: Q4159030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175261
@@ Property / cites work: Q4175261 / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198724
@@ Property / cites work: Q4198724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858241
@@ Property / cites work: Q3858241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893285
@@ Property / cites work: Q3893285 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922648
@@ Property / cites work: Q3922648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043110
@@ Property / cites work: Q3043110 / rank @@
+Normal rank
@@ Property / cites work @@
+International symposium on programming. 5th Colloquium, Turin, April 6-8, 1982. Proceedings
+Normal rank
@@ Property / cites work @@
+Characterization theorems for a filter lambda model
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+On the semantics of polymorphism
@@ Property / cites work: On the semantics of polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3036694
@@ Property / cites work: Q3036694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674034
@@ Property / cites work: Q3674034 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of type assignment in continuous lambda models
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345747
@@ Property / cites work: Q3345747 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal type schemes for an extended type theory
+Normal rank
@@ Property / cites work @@
+Q3709890
@@ Property / cites work: Q3709890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4206708
@@ Property / cites work: Q4206708 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of F-complete type assignments
@@ Property / cites work: A characterization of F-complete type assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+Q3786467
@@ Property / cites work: Q3786467 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal type scheme and unification for intersection type discipline
+Normal rank
@@ Property / cites work @@
+Q3816053
@@ Property / cites work: Q3816053 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Types and Intervals
@@ Property / cites work: Partial Types and Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001923
@@ Property / cites work: Q4001923 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types
@@ Property / cites work: Intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with recursive types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Q4035237
@@ Property / cites work: Q4035237 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference in polymorphic type discipline
@@ Property / cites work: Type inference in polymorphic type discipline / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835619
@@ Property / cites work: Q4835619 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types for combinatory logic
@@ Property / cites work: Intersection types for combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018065
@@ Property / cites work: Q4018065 / rank @@
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+Type inference, abstract interpretation and strictness analysis
+Normal rank
@@ Property / cites work @@
+Q3142164
@@ Property / cites work: Q3142164 / rank @@
+Normal rank
@@ Property / cites work @@
+May and must convergency in concurrent λ-calculus
+Normal rank
@@ Property / cites work @@
+Q4501164
@@ Property / cites work: Q4501164 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining type disciplines
@@ Property / cites work: Combining type disciplines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490718
@@ Property / cites work: Q4490718 / rank @@
+Normal rank
@@ Property / cites work @@
+A type inference algorithm for a stratified polymorphic type discipline
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+Principal types and unification for simple intersection type systems
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3024851
@@ Property / cites work: Q3024851 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers
+Normal rank
@@ Property / cites work @@
+Refinement types for program analysis
@@ Property / cites work: Refinement types for program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Filter models for conjunctive-disjunctive \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4235428
@@ Property / cites work: Q4235428 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing cubes of typed and type assignment systems
+Normal rank
@@ Property / cites work @@
+Q4364386
@@ Property / cites work: Q4364386 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus and intuitionistic linear logic
@@ Property / cites work: Lambda calculus and intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The ``relevance'' of intersection and union types
@@ Property / cites work: The ``relevance'' of intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4703040
@@ Property / cites work: Q4703040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699353
@@ Property / cites work: Q4699353 / rank @@
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699351
@@ Property / cites work: Q4699351 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Operational Semantics of a fragment of the language Scheme
+Normal rank
@@ Property / cites work @@
+Infinite \(\lambda\)-calculus and types
@@ Property / cites work: Infinite \(\lambda\)-calculus and types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4458488
@@ Property / cites work: Q4458488 / rank @@
+Normal rank
@@ Property / cites work @@
+A filter model for mobile processes
@@ Property / cites work: A filter model for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Preface
@@ Property / cites work: Preface / rank @@
+Normal rank
@@ Property / cites work @@
+Discrimination by parallel observers: the algorithm.
+Normal rank
@@ Property / cites work @@
+Alpha-conversion and typability
@@ Property / cites work: Alpha-conversion and typability / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value Solvability
@@ Property / cites work: Call-by-value Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-value λ-calculus: a semantic investigation
+Normal rank
@@ Property / cites work @@
+Q4472544
@@ Property / cites work: Q4472544 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete characterization of complete intersection-type preorders
+Normal rank
@@ Property / cites work @@
+Q4536366
@@ Property / cites work: Q4536366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766539
@@ Property / cites work: Q2766539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448355
@@ Property / cites work: Q4448355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771055
@@ Property / cites work: Q2771055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448357
@@ Property / cites work: Q4448357 / rank @@
+Normal rank
@@ Property / cites work @@
+From Böhm's Theorem to Observational Equivalences
+Normal rank
@@ Property / cites work @@
+Approximation Theorems for Intersection Type Systems
+Normal rank
@@ Property / cites work @@
+Fickle: Dynamic Object Re-classification
@@ Property / cites work: Fickle: Dynamic Object Re-classification / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. 7th Italian conference, ICTCS 2001, Torino, Italy, October 4--6, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4783322
@@ Property / cites work: Q4783322 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types for \(\lambda\)-trees
@@ Property / cites work: Intersection types for \(\lambda\)-trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3044339
@@ Property / cites work: Q3044339 / rank @@
+Normal rank
@@ Property / cites work @@
+A Type Inference Algorithm for Secure Ambients
@@ Property / cites work: A Type Inference Algorithm for Secure Ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness, totality, and non-standard-type inference
+Normal rank
@@ Property / cites work @@
+Q4737001
@@ Property / cites work: Q4737001 / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Abstract Model for Mobile Ambients
@@ Property / cites work: A Fully Abstract Model for Mobile Ambients / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment omega
@@ Property / cites work: The semantics of entailment omega / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection Typed λ-calculus
@@ Property / cites work: Intersection Typed λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843918
@@ Property / cites work: Q2843918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457451
@@ Property / cites work: Q4457451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435466
@@ Property / cites work: Q4435466 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus and discrimination of Berarducci trees.
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types and domain operators
@@ Property / cites work: Intersection types and domain operators / rank @@
+Normal rank
@@ Property / cites work @@
+Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673434
@@ Property / cites work: Q4673434 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural inverse limit \(\lambda\)-models
@@ Property / cites work: Behavioural inverse limit \(\lambda\)-models / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types for explicit substitutions
@@ Property / cites work: Intersection types for explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847789
@@ Property / cites work: Q2847789 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric parameter passing \(\lambda\)-calculus
@@ Property / cites work: Parametric parameter passing \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The parametric lambda calculus. A metamodel for computation.
+Normal rank
@@ Property / cites work @@
+Q2851083
@@ Property / cites work: Q2851083 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12--14, 2005. Proceedings.
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681363
@@ Property / cites work: Q4681363 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional characterisations of \(\lambda\)-terms using intersection types
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851086
@@ Property / cites work: Q2851086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851088
@@ Property / cites work: Q2851088 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types and lambda models
@@ Property / cites work: Intersection types and lambda models / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding ℂDuce in the ℂπ-Calculus
@@ Property / cites work: Encoding ℂDuce in the ℂπ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Space-aware ambients and processes
@@ Property / cites work: Space-aware ambients and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Session Types and Progress for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+Security Types for Dynamic Web Data
@@ Property / cites work: Security Types for Dynamic Web Data / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Session Types for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+Q2863905
@@ Property / cites work: Q2863905 / rank @@
+Normal rank
@@ Property / cites work @@
+A Soft Type Assignment System for λ-Calculus
@@ Property / cites work: A Soft Type Assignment System for λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Boxed ambients with communication interfaces
@@ Property / cites work: Boxed ambients with communication interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection-types à la Church
@@ Property / cites work: Intersection-types à la Church / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26--28, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Types for ambient and process mobility
@@ Property / cites work: Types for ambient and process mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Security types for dynamic web data
@@ Property / cites work: Security types for dynamic web data / rank @@
+Normal rank