Volume 6: January - December 1996

Issue 3: June 1996

Abstract


Review. Categories for types. Roy L. Crole

  • Review. Categories for types. Roy L. Crole
  • N. Andersen Department of Computing Science, University of Copenhagen, Copenhagen, Denmark

    Pages: 481 - 482

    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 23 Jul 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996