Yves Lafont

Books that list Yves Lafont among their authors but not as the lead author: co-written works, collections and compilations.

Advances in linear logicJean-Yves Girard

Advances in linear logic

Jean-Yves Girard · 1995