Showing papers by "Jean-Yves Girard published in 2002"
••
01 Jan 2002TL;DR: The present introduction emphasises foundational issues in Ludics, a novel approach to logic —especially proof-theory — that focuses on foundational issues.
Abstract: Ludics [1] is a novel approach to logic —especially proof-theory. The present introduction emphasises foundational issues.
1 citations