bookmark

Barry Jay's Research Interests: Internal Languages for Monoidal Categories

http://linus.socs.uts.edu.au/~cbj/Publications/internal_languages.html

Please log in to take part in the discussion (add own reviews or comments).