Girard, Jean-Yves

Centre National de la Recherche Scientifique · Université Paris Diderot

3 papers on CoChat

Most cited papers

Verified
Linear logic
Girard, J.-Y. (1987) · Theoretical Computer Science
Logic, programming, and type systemsAdvanced Algebra and Logic
Cited by 4,085
Verified
Bounded linear logic: a modular approach to polynomial-time computability
Girard, J.-Y., Scedrov, A., & Scott, P. J. (1992) · Theoretical Computer Science
Logic, programming, and type systemsComputability, Logic, AI Algorithms
Cited by 231
Verified
Towards a geometry of interaction
Girard, J.-Y. (1989) · Contemporary Mathematics
Logic, programming, and type systemsHomotopy and Cohomology in Algebraic Topology
Cited by 146

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free