[Cambridge Internship] Final Report
My ARPE internship report in pdf.
Blog posts
2020
2019
[Sydney Internship] Final Report
My M2 internship report in pdf.
2018
[Oxford Internship] Final Report
My M1 internship report in pdf.
[Oxford Internship] The Category of Event Structures
Beginning of my M1 internship at Oxford University: it’ll have to do with Glynn Winskel’s event structures
2017
[Nottingham Internship] Final Report
My L3 internship report in pdf.
[Nottingham Internship] Brunerie Type Theory, or how to concisely sum up the mess about
Let’s have a look at Brunerie Type Theory now!
[Nottingham Internship] Categories with Families: the true face of Type Theory
Categories with Families
[Nottingham Internship] Agda
Agda basics
[Nottingham Internship] strict
[Nottingham Internship] weak
Handmade partial construction of a weak
[Nottingham Internship] Globular sets and strict
We’re beginning to talk about the crux of the matter: here are weak
[Nottingham Internship] Recursors put to the category theory test
How are we supposed to construct recursors and inductive constructors, generally speaking? And where do they even come from?
[Nottingham Internship] Type Theory : a brief outline
I’ve begun my internship at the University of Nottingham, under the supervision of Prof. Thorsten Altenkirch, Nicolai Kraus, and Paolo Capriotti.
Créer votre site web
Petit tutoriel à l’intention de mes amis pour créer leur site web.