HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Modal Type Theory

Publications
A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network
Giuseppe Primiero
In:PSPL 2010. International Workshop on Proof Systems for Program Logics
Towards a Simply Typed CALculus for Semantic Knowledge Bases
Michael Mendler and Stephan Scheele
In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility
Copyright © 2012-2025 easychair.org. All rights reserved.