The following pages link to Term Rewriting and Applications (Q5703864):
Displaying 5 items.
- A syntactic approach to foundational proof-carrying code (Q1826465) (← links)
- A semantic model of types and machine instructions for proof-carrying code (Q5178856) (← links)
- Theorem Proving in Higher Order Logics (Q5464642) (← links)
- Typed Lambda Calculi and Applications (Q5704014) (← links)
- Programming Languages and Systems (Q5902363) (← links)