284 search results - page 14 / 57 » On Reversible Combinatory Logic |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
MCU
2001
13 years 11 months ago
2001
ISMVL
2010
IEEE
13 years 8 months ago
2010
IEEE
BSL
2010
13 years 7 months ago
2010
IJAIT
2006
13 years 10 months ago
2006
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...