Fiore, Marcelo - Computer Laboratory, University of Cambridge

• A Fully-Abstract Model for the -calculus M.P. Fiore 1 and E. Moggi y2 and D. Sangiorgi z3
• Syntactic Considerations on Recursive Types Mart'in Abadi
• Abstract Syntax and Variable Binding (Extended Abstract)
• Isomorphisms of Generic Recursive Polynomial Types Marcelo Fiore #
• Second-Order and Dependently-Sorted Abstract Syntax (Extended Abstract)
• REFLECTIVE KLEISLI SUBCATEGORIES OF THE CATEGORY OF EILENBERG-MOORE ALGEBRAS FOR FACTORIZATION MONADS
• Unique Factorisation Lifting Functors and Categories of Linearly-Controlled Processes
• Second-Order Algebraic Theories (Extended Abstract)
• Two Models of Synthetic Domain Theory Dedicated to Peter Freyd on the occasion of his 60 th birthday
• Domains in H Marcelo P. Fiore
• An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
• Recursive Types in Games: Axiomatics and Process Representation
• Lifting as a KZdoctrine Marcelo P. Fiore ?
• Semantics of Name and Value Passing Marcelo Fiore #
• Objects of Categories as Complex Numbers Marcelo Fiore a;1 and Tom Leinster b
• An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
• GDP Festschrift ENTCS, to appear The Bicategory-Theoretic Solution of
• PRACTICE OF Daily ETAPS
• Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus
• Axiomatic Domain Theory \Lambda Marcelo P. Fiore
• A Coinduction Principle for Recursive Data Types Based on Bisimulation
• Math. Struct. in Comp. Science (1993), vol. 11, pp. 1--000 Copyright c fl Cambridge University Press
• Mathematical Synthesis of Equational Deduction Systems
• On the Construction of Free Algebras for Equational Systems
• THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES
• Equational Systems and Free Constructions (Extended Abstract)
• Differential Structure in Models of Multiplicative Biadditive
• A 2-Categorical Note On Day's Tensor Product
• Second-Order Dependently-Sorted
• Weak Bisimulation and Open Maps (Extended Abstract)
• Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
• Second-Order Equational Logic (Extended Abstract)
• Math. Struct. in Comp. Science (1997), vol. ?, pp. ??--?? Copyright c fl Cambridge University Press
• An Objective Representation of the Gaussian Integers Marcelo Fiore
• A Theory of Recursive Domains with Applications to Concurrency
• Computing Symbolic Models for Verifying Cryptographic Protocols Marcelo Fiore #
• Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems
• Algebraic Meta-Theories and Synthesis of Equational Logics Research Programme
• Enrichment and Representation Theorems for Categories of Domains and Continuous Functions
• Lambda Definability with Sums via Grothendieck Logical Relations
• A FullyAbstract Model for the calculus (Extended Abstract)
• ON THE MATHEMATICAL SYNTHESIS OF EQUATIONAL LOGICS MARCELO FIORE AND CHUNG-KIL HUR
• A Foundation for GADTs and Inductive Families Dependent Polynomial Functor Approach