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-toposesTalk 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 groupoidsIn Theoretical Computer Science, 546:120-131, 2014.  [arxiv preprint (2013)]

  •  
  • M.P.Fiore.  Lie Structure and CompositionTalk 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 EffectsIn Logic in Computer Science Conf. (CSL-LICS'14).  IEEE, Computer Society Press, 2014.  [preprint]
     
  • M.P.Fiore.  An equational metalogic for monadic equational systemsTheory 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-IndicesTalk at the 11th International Conference on Typed Lambda Calculi and Applications.  Eindhoven (The Netherlands), June 2013.  [slides]

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

  •  
  • M.P.Fiore.  The Algebra of DAGsInvited 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 logicIn 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-IndicesIn 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 GraphsIn 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 LogicInvited talk at the Seminaire CHoCoLa, Lyon (France), 2012.  [abstract]

  •  
  • M.P.Fiore.   Discrete Generalised Polynomial FunctorsIn 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 StructureInvited talk at the Department of Computer Science, Gunma University, Kiryu (Japan), 2012.  [slides]

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

  •  
  • M.P.Fiore.   Algebraic Foundations for Type TheoriesTalk 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 ApproachTo appear in ACM SIGPLAN 7th Workshop on Generic Programming, 2011.  [preprint]

  •  
  • M.P.Fiore and C.-K.Hur.   On the mathematical synthesis of equational logicsTo 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 AlgebraInvited talk at the Third Scottish Category Theory Seminar, Glasgow (Scotland), 2010.  [slides]

  •  
  • M.P.Fiore and O.Mahmoud.   Second-order algebraic theoriesIn 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 logicIn 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 FSemigroup Forum, Volume 80, Number 2, 2010.  [DOI]