## [Cambridge Internship] Final Report

My ARPE internship report in pdf.

## [Sydney Internship] Final Report

My M2 internship report in pdf.

## Lecture 14: The $\bullet ; \bullet ⊢_o \bullet$ Proof System

[⊢_O = ⊢_I = ⊢_C \qquad hC ⊆ hH \qquad ⊢_O = ⊢_I]

## Lecture 13: Abstract Logic Programming

Abstract Logic Programming: Proof theory formulations (corresponds to chapter 5 in Dave Miller’s lecture notes)

II.

Lecture 18

## Compatible basis, Stability of persistent homology, and Homology inference

[K_0 = ∅ \overset{σ_1}{\hookrightarrow} K_1 \overset{σ_2}{\hookrightarrow} K_2 \overset{σ_3}{\hookrightarrow} ⋯ \overset{σ_n}{\hookrightarrow} K_n = \lbrace ...

Cech complex

## Isothetic regions

Isothetic regions

## Geometric models

Cartesian product

## [Final Project] Deep Signalling Pathways and Causal Depth

Theoretical Biology Project

## TP7: Doctor in the Cell

Practical session 4: Systems Biology

## Lecture 5: Künneth formula, Simplicial objects, Dold-Kan correspondence

Teacher: Benjamin Hennion

## Lecture 4: Ext Functors, Sheaves, Double complexes

Teacher: Benjamin Hennion

## Espace des types

Proposition: On se fixe $ℳ, \; A ⊆ M, \; \overline{x}, \; p = p(\overline{x})$ un ensemble de $ℒ_A$-formules. Si $𝒩 \succcurlyeq ℳ$, alors ...

## Elimination des quantificateurs pour ACF, Types

Teacher: Tomas Ibarlucia

## Lecture 7 (Master Class): Negative translation

Teacher: Valentin Blot

## Lecture 6: Dependent type theory

Teacher: Gilles Dowek

## Lecture 4: Models

Teacher: Bruno Barras

## Lecture 3: Inductive Types

Teacher: Bruno Barras

## [Functional Programming Project] Compiling simply typed λ-calculus to Categories: Automatic Differentiation

Functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy), about compiling simply typed...

## [Why3 Project] Computational Reals

Github Repo Report