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: {{ :users:castro:ihaw.pdf |}}

An Interpretation of E-HAw inside HAw: {{ :users:castro: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: {{ :users:castro:thesis_castro.pdf |}}.