Options
Modalities in type theory
Mendler, Michael (2001): „Modalities in type theory“.
Faculty/Professorship:
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
published:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/9780