General reversibility (2006)

by Vincent Danos , Université Paris , Jean Krivine
Venue:In EXPRESS’06, ENTCS. Elsevier
Citations:8 - 3 self