Stellogen Programming Language
I develop Stellogen, an experimental programming language based on Girard’s transcendental syntax.
About Stellogen
Stellogen is a research programming language that explores the computational foundations of logic through Girard’s transcendental syntax framework. It represents my ongoing independent research into the connections between logic and computation.
Transcendental Syntax
Transcendental syntax is Jean-Yves Girard’s latest project, building upon his previous work on:
- Linear logic
- Proof-nets
- Geometry of interaction
The framework provides a purely finite and effective definition of logic, exploring both technically and philosophically the nature of logical rules and systems at their deepest level.