1.

図書
図書
1. Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Jean-Yves Girard (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1581
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館
4.

図書
図書
4. Proof theory and logical complexity (v. 1 : Italy ; v. 1)
Jean-Yves Girard
出版情報: Napoli : Bibliopolis, c1987-
シリーズ名: Studies in proof theory : monographs ; 1
所蔵情報: 図書館