Mathematical structures in computer science : MSCS ; a journal in the applications of categorical, algebraic and geometric methods in computer science



Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Volume Number/Title: 11, 4. Special Issue: Modalities in Type Theory / Matt Fairtlough, Michael Mendler, Eugenio Moggi (Hrsg.). - 2001. - S. 507 - 596
Publisher Information: Cambridge : Cambridge Univ. Press
Year of publication: 2001
Language(s): German
Remark: 
Veröff. im Internet: http://www.journals.cup.org/owa_dba/owa/issues_in_journal?jid=MSC
URL: http://journals.cambridge.org/bin/bladerunner?R...
Document Type: Other
URI: https://fis.uni-bamberg.de/handle/uniba/10075
Release Date: 24. September 2014