A Structural Approach to Reversible Computation (2001)

by Samson Abramsky
Venue:Theoretical Computer Science
Citations:18 - 3 self