Concept

Jean-Yves Girard

Overview

French logician

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Jean-Yves Girard

• Per Martin-Löf

Related ideas

• Proof theory
• Second-order logic
• French Academy of Sciences
• Logic
• Linear logic
• Dag Prawitz

Place in the tradition

Part of Affine logic.

Explore Jean-Yves Girard in the interactive graph →