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 #

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

» A new manifest for transcendental syntax #

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 #

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.