著者典拠情報

標目形:
Pitts, A. M
属性:
Personal
から見よ参照形:
Pitts, Andrew
注記:
Applications of categories in computer science, 1992: t.p. (A.M. Pitts, Univ. of Cambridge) pref. (Andrew Pitts)
著者典拠ID:
DA06688704


 close
1.

図書

図書
edited by Andrew D. Gordon and Andrew M. Pitts
出版情報: New York : Cambridge University Press, c1998
シリーズ名: Publications of the Newton Institute ; 12
所蔵情報: loading…
2.

図書

図書
edited by Andrew M. Pitts, Peter Dybjer
出版情報: New York : Cambridge University Press, 1997
シリーズ名: Publications of the Newton Institute ; 14
所蔵情報: loading…
3.

図書

図書
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
出版情報: Cambridge : Cambridge University Press, 1992
シリーズ名: London Mathematical Society lecture note series ; 177
所蔵情報: loading…