Pages that link to "Item:Q5432349"
From MaRDI portal
The following pages link to Correctness of Copy in Calculi with Letrec (Q5432349):
Displaying 4 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- The conservativity of \textit{many}: split scope and \textit{most} (Q1992018) (← links)
- Similar but not the same: various versions of ♣ do not coincide (Q4254628) (← links)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)