General reversibility (2006)

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