Publications
Export 3 results:
Author Title Type [ Year
] Filters: Author is Primiero, Giuseppe and First Letter Of Title is C [Clear All Filters]
. 2012. “A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2010. “Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, . Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
. 2009. “A Constructive Modal Semantics For Contextual Verification”. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.