Pages that link to "Item:Q3179291"
From MaRDI portal
The following pages link to A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291):
Displaying 2 items.
The following pages link to A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291):
Displaying 2 items.