Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
|Format:||Conference Proceeding Book|
Providence, R.I. :
American Mathematical Society,
|Series:||Contemporary mathematics (American Mathematical Society) ;
; v. 92. |
No Tags, Be the first to tag this record!