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
Veröff. im Internet:
Document Type: Other
Release Date: 24. September 2014