Modalities in type theory





Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Title of the compilation: Mathematical structures in computer science : MSCS ; a journal in the applications of categorical, algebraic and geometric methods in computer science. - 11 (2001), 4, S. 507 - 509
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: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/9780
Release Date: 24. September 2014