Taylor, Paul

ID:DA03255008

別名

Taylor, P

同姓同名の著者を検索

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

  • 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

    所蔵館49館

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

ページトップへ