Options
Special Issue: Modalities in Type Theory
Mendler, Michael; Fairtlough, Matt; Moggi, Eugenio (2001): Special Issue: Modalities in Type Theory, in: Mathematical structures in computer science : MSCS ; a journal in the applications of categorical, algebraic and geometric methods in computer science, Cambridge: Cambridge Univ. Press, Jg. 11, Nr. 4, S. 507–596, doi: 10.1017/S0960129501003310.
Faculty/Chair:
Author:
Title of the Journal:
Mathematical structures in computer science : MSCS ; a journal in the applications of categorical, algebraic and geometric methods in computer science
Publisher Information:
Year of publication:
2001
Volume:
11
Issue:
4
Pages:
Language:
German
Type:
Article
Activation date:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/10075