Pages that link to "Item:Q2946721"
From MaRDI portal
The following pages link to Logical relations for a logical framework (Q2946721):
Displaying 6 items.
- Mechanizing proofs with logical relations – Kripke-style (Q4691187) (← links)
- (Q4945250) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- Lax Theory Morphisms (Q5277906) (← links)
- Computer Science Logic (Q5292670) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)