Rough Notes
M.P. Fiore.
A Normalisation-by-Evaluation Program for Typed
Lambda Calculus in Agda.
Note, 2022.
[pdf file]
[agda file]
[another agda file]
M.P. Fiore.
Algebraic Simple Type Theory.
Note, 2017.
[pdf file]
M.P. Fiore.
Algebraic models of identity types.
Note, 2012.
[pdf file]
M.P. Fiore.
A 2-categorical note on Day's tensor product.
Note, 2010.
[pdf file]
M.P. Fiore.
Algebraic Meta-Theories and Synthesis of Equational Logics
.
Research Programme, 2009.
[pdf file]
M.P. Fiore.
Algebraic Type Theory.
Note, 2008.
[pdf
file]
M.P. Fiore.
Algebraic theories and equational logics.
Invited tutorial for the Twenty-fourth Conference on the
Mathematical Foundations of Programming Semantics
(MFPS 24),
University of Pennsylvania (USA), 2008.
[pdf file]
M.P. Fiore.
Generalised Species of Structures: Cartesian
Closed and Differential Structure.
Working draft, 2004.
[pdf
file]
M.P. Fiore.
Rough notes on
presheaves.
Notes for a postgraduate mini-course,
PPS, Université Paris 7 (France),
2001.
[pdf
file]
M.P. Fiore.
Notes on combinatorial functors.
Draft notes, 2001.
[pdf
file]