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]