ReFL
/
refl.fr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Change Tito's affiliation

This commit is contained in:
engboris 2024-11-03 16:05:39 +01:00
parent 4b482f0d61
commit beb2948f3b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/members.md
View File

@ -22,7 +22,7 @@ title: "Members"
- Adrien Ragot<div class="desc-box">Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic -- Université Sorbonne Paris Nord / University Roma Tre</div>
- Paul Séjourné<div class="desc-box">Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory -- Université Paris-Sorbonne</div>
- [Vincent Moreau](https://www.irif.fr/~moreau/)<div class="desc-box">Category theory, type theory, denotational semantics, topology, algebra, proof assistants -- Université Paris Cité (IRIF)</div>
- [Tito](https://nguyentito.eu/)<div class="desc-box">Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- École normale supérieure de Lyon</div>
- [Tito](https://nguyentito.eu/)<div class="desc-box">Links between linear logic and automata theory, combinatorics, computational complexity, algorithms -- CNRS & Aix-Marseille</div>
- [Xavier Denis](https://xav.io/)<div class="desc-box">Deductive verification and specification of Rust programs -- ETH Zurich</div>
# Visitors and guests