関連資料一覧:(本学所蔵)
選択行を:
| 資料名 | 所在 |
1 | Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.] ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 240). | 理数学 411.8:C |
2 | Introduction to higher order categorical logic / J. Lambek, P.J. Scott ; , : pbk. -- Cambridge University Press, 1988, c1986. -- (Cambridge studies in advanced mathematics ; 7). | 図書館(書庫) 411.6:L 理数学 411.6:L |
3 | 圏論の歩き方 = Category theory trotters / 圏論の歩き方委員会編. -- 日本評論社, 2015.9. | 図書館(閲覧室) 411.6:Ke |
選択行を:
|