Pages that link to "Item:Q2914742"
From MaRDI portal
The following pages link to Synthesis of Distributed Mobile Programs Using Monadic Types in Coq (Q2914742):
Displayed 1 item.
The following pages link to Synthesis of Distributed Mobile Programs Using Monadic Types in Coq (Q2914742):
Displayed 1 item.