The following pages link to Thomas Ridge (Q2819675):
Displaying 7 items.
- Lem (Q2819676) (← links)
- Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars (Q3100206) (← links)
- Operational Reasoning for Concurrent Caml Programs and Weak Memory Models (Q3523182) (← links)
- Ott (Q5168920) (← links)
- Ott: Effective tool support for the working semanticist (Q5189646) (← links)
- Verifying distributed systems (Q5261538) (← links)
- Theorem Proving in Higher Order Logics (Q5477663) (← links)
