Lafont, Yves

ID:DA0325502X

別名

Lafont, Y

同姓同名の著者を検索

検索結果2件中 1-2 を表示

  • Advances in linear logic

    edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier

    Cambridge University Press 1995 London Mathematical Society lecture note series 222

    : pbk

    所蔵館83館

  • Proofs and types

    Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont

    Cambridge University Press 1989 Cambridge tracts in theoretical computer science 7

    所蔵館48館

この著者を外部サイトでさがす

ページトップへ