Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
Formal Methods in System Design
A modal analysis of staged computation
Journal of the ACM (JACM)
Reasoning about Staged Computation
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Abstraction and Refinement in Higher Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Markov's Principle for Propositional Type Theory
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Categorical and Kripke Semantics for Constructive S4 Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A judgmental reconstruction of modal logic
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Access Control in a Core Calculus of Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Variations in Access Control Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Monad translating inductive and coinductive types
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A modal deconstruction of access control logics
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Embedding Constructive K into Intuitionistic K
Electronic Notes in Theoretical Computer Science (ENTCS)
Cut-free Gentzen calculus for multimodal CK
Information and Computation
Constructive linear-time temporal logic: Proof systems and Kripke semantics
Information and Computation
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design
Countermodels from Sequent Calculi in Multi-Modal Logics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
On the Complexity of Linear Authorization Logics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Higher-Order processes, functions, and sessions: a monadic integration
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
A logical correspondence between natural semantics and abstract machines
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Stateful authorization logic --Proof theory and a case study
Journal of Computer Security - STM'10
Hi-index | 0.00 |