close
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…