Sciweavers

ENTCS
2006
88views more  ENTCS 2006»
13 years 11 months ago
On Reversible Combinatory Logic
The -calculus is destructive: its main computational mechanism
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...