Options
Modalities in type theory
Mendler, Michael (2001): 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, Jg. 11, Nr. 4, S. 507–509.
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
ISSN:
0960-1295
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/9780