Modalities in constructive modal logics and type theories
De Paiva, V; Gore, R.; Mendler, Michael (2004): Modalities in constructive modal logics and type theories, in: Journal of logic and computation, Jg. 14, Nr. 4, S. 439–446.
Faculty/Chair:
Author:
 ;  ; 
Title of the Journal:
Journal of logic and computation
ISSN:
0955-792X
Year of publication:
2004
Volume:
14
Issue:
4
Pages:
Language:
English
Type:
Article
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/12846