Back to Results
First PageMeta Content
Mathematical logic / Models of computation / Logic in computer science / Combinatory logic / Digital electronics / Fixed-point combinator / Function / Reversible computing / SKI combinator calculus / Theoretical computer science / Mathematics / Lambda calculus


A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation
Add to Reading List

Document Date: 2013-06-06 21:35:04


Open Document

File Size: 221,80 KB

Share Result on Facebook
UPDATE