Sciweavers

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