HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Modal Type Theory

Papers
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-2023 easychair.org. All rights reserved.