The following pages link to (Q4261732):
Displaying 11 items.
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- Structuring metatheory on inductive definitions (Q1854368) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515) (← links)
- (Q4222859) (← links)
- Structuring metatheory on inductive definitions (Q4647512) (← links)
- Reflection of formal tactics in a deductive reflection framework (Q4647552) (← links)
- Exploring abstract algebra in constructive type theory (Q5210799) (← links)
- The practice of logical frameworks (Q5878905) (← links)