The following pages link to (Q5691056):
Displayed 5 items.
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368) (← links)
- Physics and proof theory (Q2249005) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- Typed Multiset Rewriting Specifications of Security Protocols (Q4923367) (← links)