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]