jadkoleilat / realisabilite-classique Goto Github PK
View Code? Open in Web Editor NEWMémoire de M1 réalisé sous la direction de G. Geoffroy, université Paris Cité, Juin 2023. Le but est de présenter la notion de réalisabilité classique comme définie par J. Krivine et de construire un modèle de réalisabilité de PAω dans lequel DC est réalisé.