More About the Author
Jean-Yves Girard (French: [ʒiʁaʁ]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.
Review and Comments
Rate the Book
Advances in linear logic 0 out of 5 stars based on 0 ratings.