Projects

Reading #

» Wittgenstein’s “De la certitude” #

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

Development of Girard’s Transcendental Syntax #

» Development of the Stellogen programming language #

Stellogen is a minimalistic and logic-agnostic programming language based on term unification. The goal is to develop a programming language and a guide (in the idea of Software Foundations for Coq) in order to make the ideas of Girard's transcendental syntax more accessible. Exercises (with solutions) have to be designed to open the development of transcendental syntax to contributions.

• https://github.com/engboris/stellogen
• https://tsguide.refl.fr
• https://tsguide.refl.fr/en

» 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 big project.

» 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.

» Normalisation by Evaluation (NbE) #

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