Latest Work

  • P.-L.Curien, M.P.Fiore and G.Munch-Maccagnoni.  A Theory of Effects and Resources: Adjunction Models and Polarised Calculi.  To appear in ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016).  ACM Press, 2016.  [preprint]

    •  
  • M.Devesas Campos and M.P.Fiore.  Classical Logic with Mendler Induction - A Dual Calculus and its Strong Normalization.  To appear in Symposium on Logical Foundations of Computer Science (LFCS 2016).  Lecture Notes in Computer Science, 2016.  [preprint]   (The final publication will be available at link.sprinker.com.)

    •  
  • M.P.Fiore and A.Joyal.  Theory of para-toposes.  Talk at the Category Theory 2015 Conf.  Departamento de Matematica, Universidade de Aveiro (Portugal), June 2015.  [abstract]

    •  
  • M.P.Fiore.  An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators.  Arxiv, 2015.  [preprint]

    •  
  • M.P.Fiore and O.Mahmoud.  Functorial Semantics of Second-Order Algebraic Theories.  Arxiv, 2014.  [preprint]

    •  
  • M.P.Fiore.  Analytic functors between presheaf categories over groupoids.  In Theoretical Computer Science, 546:120-131, 2014.  [arxiv preprint (2013)]

    •  
  • M.P.Fiore.  Lie Structure and Composition.  Talk at the Category Theory 2014 Conf.  CMS, University of Cambridge (UK), July 2014.  [slides]

    •  
  • M.P.Fiore.  Algebraic Theories and Control Effects, Back and Forth. 

    •  
  • M.P.Fiore and S.Staton.  Substitution, Jumps, and Algebraic Effects.  In Logic in Computer Science Conf. (CSL-LICS'14).  IEEE, Computer Society Press, 2014.  [preprint]
     
  • M.P.Fiore.  An equational metalogic for monadic equational systems.  Theory and Applications of Categories, Vol.27, No.18, pp 464-492, 2013.  [abstract] [paper]

    •  
  • M.P.Fiore.  System Fi: a Higher-Order Polymorphic λ-Calculus with Erasable Term-Indices.  Talk at the 11th International Conference on Typed Lambda Calculi and Applications.  Eindhoven (The Netherlands), June 2013.  [slides]

    •  
  • M.P.Fiore.  Polymorphic Algebraic Theories.  Invited talk at the GlynnFest Workshop.  Computer Laboratory, University of Cambridge (UK), June 2013.  [slides]

    •  
  • M.P.Fiore.  The Algebra of DAGs.  Invited talk at the Samson@60 Conf..  Department of Computer Science, University of Oxford (UK), May 2013.  [slides]  

    •  
  • M.P.Fiore and M.Hamana.  Multiversal polymorphic algebraic theories: Syntax, semantics, translations, and equational logic.  In Logic in Computer Science Conf. (LICS'13).  IEEE, Computer Society Press, 2013.  [preprint]

    •  
  • K.Y.Ahn, T.Sheard, M.P.Fiore, and A.Pitts.  System Fi: a Higher-Order Polymorphic λ-Calculus with Erasable Term-Indices.  In Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013), Lecture Notes in Computer Science, 2013.  [preprint]   [slides]   (The final publication will be available at link.sprinker.com.)

    •  
  • M.P.Fiore and M.Devesas Campos.  The Algebra of Directed Acyclic Graphs.  In Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, Volume 7860 of Lecture Notes in Computer Science, 2013.  [preprint]   [arxiv]   (The final publication will be available at link.sprinker.com.)

    •  
  • M.P.Fiore.   Lie in Logic.  Invited talk at the Seminaire CHoCoLa, Lyon (France), 2012.  [abstract]

    •  
  • M.P.Fiore.   Discrete Generalised Polynomial Functors.  In 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), Lecture Notes in Computer Science, Volume 7392, pages 214-226, 2012.  [preprint]   [slides]   (The original publication is available at www.springerlink.com.)

    •  
  • M.P.Fiore.   Mathematical Aspects of Data Structure.  Invited talk at the Department of Computer Science, Gunma University, Kiryu (Japan), 2012.  [slides]

    •  
  • M.P.Fiore.   Second-Order Algebra and Generalised Polynomial Functors.  Invited talk at Algebra and Computation, Logic and Interactions (LI2012), Luminy (France), 2012.  [slides]

    •  
  • M.P.Fiore.   Algebraic Foundations for Type Theories.  Talk given at the 18th Workshop Types for Proofs and Programs (Types 2011), Bergen (Norway), 2011.  [slides]

    •  
  • M.Hamana and M.P.Fiore.   A Foundation for GADTs and Inductive Families: Dependent Polynomial Functor Approach.  To appear in ACM SIGPLAN 7th Workshop on Generic Programming, 2011.  [preprint]

    •  
  • M.P.Fiore and C.-K.Hur.   On the mathematical synthesis of equational logics.  To appear in Logical Methods in Computer Science, Selected Papers of the Conference "Typed Lambda Calculi and Aplications 2009", 2011.  [arxiv]

    •  
  • M.P.Fiore.   On Higher-Order Algebra.  Invited talk at the Third Scottish Category Theory Seminar, Glasgow (Scotland), 2010.  [slides]

    •  
  • M.P.Fiore and O.Mahmoud.   Second-order algebraic theories.  In Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), LNCS 6281, pp. 368-380, 2010.  [preprint]   (The original publication is available at www.springerlink.com.)

    •  
  • M.P.Fiore and C.-K.Hur.   Second-order equational logic.  In Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010), LNCS 6247, pp. 320-335, 2010.  [preprint]   (The original publication is available at www.springerlink.com.)

    •  
  • M.P.Fiore and S.Staton.   Positive structural operational semantics and monotone distributive laws..  In Short Contributions for the 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), CWI Technical report SEN-1004, pages 8--9, 2010.

    •  
  • M.P.Fiore and T.Leinster.   An abstract characterization of Thompson's group F.  Semigroup Forum, Volume 80, Number 2, 2010.  [DOI]