The following pages link to (Q5691056):
Displayed 7 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)
- A modular construction of type theories (Q5883738) (← links)
- Spiritus asper versus lambda: on the nature of functional abstraction (Q6165008) (← links)