Publications

International journals

• Relational Graph Models at work [.pdf]
  (with Flavien Breuvart and Giulio Manzonetto)
  Logical Methods in Computer Science , July 20, 2018, Volume 14, Issue 3

International peer-reviewed conferences

• New Results on Morris's Observational Theory: the Beneficts of Separating the Inseparable [.doi]
  (with Flavien Breuvart , Giulio Manzonetto and Andrew Polonsky)
  LIPICS Vol. 52: proceedings of FSCD16, Porto, Portugal, June 2-26, 2016.
  
  
• Relational Graph Models, Taylor Expansion and Extensionality [.doi]
  (with Giulio Manzonetto)
  Electr. Notes Theor. Comput. Sci. 308: 245-272: proceedings of MFPS XXX, Cornell University, Ithaca, New York, USA, June 12-15, 2014.

PhD dissertation

• Relational Graph Models and Morris's Observability: resource-sensitive semantic investigations on the untyped λ-calculus [.pdf]
  Thesis defended on December 13th, 2016 at the University Paris 13 in Villetaneuse, France.