Boris ENG

PhD Student in Computer Science, Team LoVe, LIPN (Université Sorbonne Paris Nord, France) [last name][first name]@hotmail.fr

Working Group “Transcendentalist Circle”

Working group on the foundations of logic and computation, especially in the light of Girard’s Transcendental Syntax. We aim for a transdisciplinary interaction between mathematics, computer science and philosophy inspired by the LIGC working group.

We organise meetings and presentations.

Members (20)

Contact me or another member to join our discussions on Zulip.

Community

Next meetings

(Soon)

Past meetings

References on Transcendental Syntax

Relevant resources