The following pages link to (Q5472887):
Displaying 4 items.
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- (Q5472892) (← links)
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules (Q6079228) (← links)
