Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 1 of 1 on About charity. Technical Report 92/480/18, Dep. Comp. Sci., Univ. Calgary, 1992.....
" About charity. Technical Report 92/480/18, Dep. Comp. Sci., Univ. Calgary, 1992. [5] JRB Cockett and D. Spencer. Strong categorical datatypes I. In RAG Seely, editor, Category Theory 1991, volume 13 of CMS Conference Proceedings, pages 141-169. "
Categorical Logic and Type Theory - Page 719
by Bart Jacobs - 2001 - 760 pages
Limited preview - About this book

Category Theory and Computer Science: 7th International Conference, CTCS'97 ...

Eugenio Moggi, Giuseppe Rosolini - Computers - 1997 - 319 pages
...and T. Fukushima. About charity. Technical Report 92/480/18, Dep. Comp. Sci., Univ. Calgary, 1992. 5. JRB Cockett and D. Spencer. Strong categorical datatypes...logic for categorical programming. Theor. Comp. Sci., 139:69-113, 1995. 6. Th. Coquand and Ch. Paulin. Inductively defined types. In P. MartinLof and G....
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search