This is the webpage of Félix Castro. I am a PhD student working with Hugo Herbelin and Alexandre Miquel. Publications - Drafts An Interpretation of E-HAw inside HAw in LFMTP 23' (https://arxiv.org/abs/2311.10578) Concurrent Realizability on Conjunctive Structures with E. Beffara, M. Guillermo and E. Miquey in FSCD 23' (https://cea.hal.science/LIG_SIDCH/hal-04083002v2) Implicative Assemblies with A. Miquel and K. Worytkiewicz (https://arxiv.org/abs/2304.10429) Selected talks Revisiting the model of Hereditary Recursive Operations: ihaw.pdf An Interpretation of E-HAw inside HAw: ehaw.pdf PhD defense My PhD defense will take place on Tuesday, December 17th at 5 p.m. (Paris time zone, GMT+1). It will take place both onsite in the Sophie Germain building (room 3052), and on Zoom. The current version of the manuscript is available here: thesis_castro.pdf.