Computer science, transcendental syntax -- OCamlPro / SuperBOL
+- [Pablo Donato 🌸](http://www.lix.polytechnique.fr/Labo/Pablo.DONATO/) (administrator)
Sequent calculus, deep inference, type theory, Peirce's existential graphs, focalization, proof search -- Ecole Polytechnique (LIX)
Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting -- Université Aix-Marseille
# Members
@@ -14,7 +14,7 @@ title: "Members"
- Baptiste Chanus
Descriptive complexity -- Université Paris 1 Panthéon-Sorbonne
- [Kostia Chardonnet](https://kostiachardonnet.github.io/)
Computer science, quantum computation, cyclic proofs -- Centre Inria de l'Université de Lorraine (MOCQUA)
- [Sidney Congard](https://dwarfobserver.github.io/)
Semantics of programming languages -- Centre Inria de l'Université de Rennes (Galinette)
-- Jérémy Hervé 🍄
Mushrooms -- Independent
+- Jérémy Hervé 🍄
Mushrooms, operating systems design -- Independent
- [Ambroise Lafont](https://amblafont.github.io/)
Type Theory and Category Theory -- École Polytechnique (LIX)
- Luc Pommeret
Logic, LLM (Machine learning) -- Université Paris Cité (IRIF)
- Adrien Ragot
Proof-nets, interaction nets, implicit computational complexity, lambda-calculus, linear logic -- Université Sorbonne Paris Nord / University Roma Tre
@@ -25,4 +25,4 @@ title: "Members"
# Visitors and guests
-Hugo Cadière, Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest, Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour, Bernardo, Anne-Laure, Escherichia, Alexey.
\ No newline at end of file
+Hugo Cadière, Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest, Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour, Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau.
\ No newline at end of file
diff --git a/content/projects.md b/content/projects.md
index 9ce91ec..5e3cfd1 100644
--- a/content/projects.md
+++ b/content/projects.md
@@ -2,4 +2,31 @@
title: "Projects"
---
-(Soon...)
\ No newline at end of file
+# Developement of Girard's Transcendental Syntax
+
+## La syntaxe transcendantale, manuel (in French)
+
+
Participants : Boris Eng.
+Bien que l'esprit et la philosophie de la syntaxe transcendantale arrivent à
+se diffisuer, il y a un manque flagrant : il est difficile de s'approprier les
+objets de la syntaxe transcendantale et de les manipuler. Cela est plus dû au
+manque de ressources qu'à la complexité des concepts. Nous proposons donc un
+manuel pratique et ludique avec des exercices. Il est nécessaire de se
+familiariser avec la technique afin de pouvoir réfléchir à des façons originales
+de répondre à des problèmes de syntaxe transcendantale.
+
+## A graphical user interface for stellar resolution
+
+
[Not assigned]
+In order to explain how stellar resolution works in a more convenient way, it
+would be better to have a graphical interface in which it is possible to: add
+stars to a constellation (reference constellation in Eng's thesis), put stars in
+an interaction space, manually select stars from the reference constellation and
+make them interact in the interaction space (possible interactions must be
+displayed before actually triggering the interaction). Another possible feature
+is to manually construct diagrams and apply fusion steps.
+
+## Tunes OS: a reflexive operating system
+
+
Participants: Jérémy Hervé.
+(Soon)
\ No newline at end of file
diff --git a/content/resources.md b/content/resources.md
index 40649c9..65fae0b 100644
--- a/content/resources.md
+++ b/content/resources.md
@@ -2,9 +2,9 @@
title: "Resources"
---
+- *"Le fantôme de la transparence"* -- Jean-Yves Girard
- [*"An exegesis of transcendental syntax" (PhD thesis)* -- Boris Eng](https://hal.science/tel-04179276v1)
- [*"La logique face à l'arbitraire" (French)* -- Sidney Congard](https://hal.science/hal-03689001/document)
-- [*"Information, Processes and Games" (section 1 & 5)* -- Samson Abramsky](https://arxiv.org/abs/1604.02603)
- [*"Les limites de la correspondance preuve/programme" (French)* -- Laurent Regnier](https://www.i2m.univ-amu.fr/perso/laurent.regnier/articles/ch.pdf)
- [*"Aristote et l’électricien : le branchement des idées" (French video)* -- Paolo Pistone](https://vimeo.com/167115532)
- [*"D'une logique à l'autre" (French video)* -- Laurent Regnier](https://vimeo.com/314743657)
diff --git a/layouts/partials/paige/style-first.css b/layouts/partials/paige/style-first.css
index 025832b..166f081 100644
--- a/layouts/partials/paige/style-first.css
+++ b/layouts/partials/paige/style-first.css
@@ -40,6 +40,10 @@ a {
color: rgb(40, 173, 145);
}
+a:hover {
+ opacity: 0.5;
+}
+
.nav-link {
color: rgb(40, 173, 145);
}
\ No newline at end of file