The following pages link to Types for Proofs and Programs (Q5712317):
Displayed 8 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- On the unity of duality (Q2482843) (← links)
- Syntactic Metatheory of Higher-Order Subtyping (Q3540196) (← links)
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) (Q3541713) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Refinement Types as Proof Irrelevance (Q3637193) (← links)