著者典拠情報

著者標目形：
Lafont, Yves
属性：
Personal
から見よ参照形：
Lafont, Y
注記：
CNRS, Ecole normale supérieure, Paris
著者典拠ID：
DA0325502X


1.

図書
図書
1. Advances in linear logic (: pbk)
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
出版情報: Cambridge : Cambridge University Press, 1995
シリーズ名: London Mathematical Society lecture note series ; 222
所蔵情報: 図書館
2.

図書
図書
2. Proofs and types
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
出版情報: Cambridge : Cambridge University Press, 1989
シリーズ名: Cambridge tracts in theoretical computer science ; 7
所蔵情報: 図書館