---
title: "Projects"
---

# Reading

## >> Normalisation by Evaluation (NbE)

Participants: Vincent Moreau, Ambroise Lafont, Tito, Valentin Maestracci,
Sidney Congard.

## >> Wittgenstein's "De la certitude"

Participants: Vincent Moreau, Tito, Boris Eng, Sidney Congard.

# Development of Girard's Transcendental Syntax

## >> A programming guide to transcendental syntax

<div class="desc-box">Participants: Boris Eng.</div>
The goal is to develop a programming guide (in the idea of Software Foundations
for Coq) in order to make the ideas of Girard's transcendental syntax more
accessible. Eng's implementation of stellar resolution, named LSC (Large Star
Collider) will be used for that purpose. Exercises (with solutions) have to be
designed to open the development of transcendental syntax to contributions.

[https://tsguide.refl.fr](https://tsguide.refl.fr)

## >> A new manifest for transcendental syntax

<div class="desc-box">Participants: Boris Eng.</div>
Writing of a roadmap for transcendental syntax with an analysis of various
fields of logic and computation and several links with other fields. The point
is to show that transcendental syntax is actually a rich subject.

## >> Tunes OS: a reflexive operating system

<div class="desc-box">Participants: Jérémy Hervé, Faré.</div>
Exploration of the idea of a reflexive operating system which would be based
of a minimal and reliable kernel of computation and which should be able to
perform navigation and alteration between several levels of abstraction within
a same system. Investigate on whether transcendental syntax can be involved
here.

# Past activities

## >> Reading of Kant

Participants: Ambroise Lafont, Sidney Congard, Jérémy Hervé, Luc Pommeret, Paul
Séjourné.

## >> Reading and comments on Krivine's "Les décompilateurs"

By Boris Eng.
