著者典拠情報

標目形：
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


1.

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

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

図書
図書
3. Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts
出版情報: Cambridge : Cambridge University Press, 1992
シリーズ名: London Mathematical Society lecture note series ; 177
所蔵情報: loading…