129
click to vote
CIE
2007
Springer
16 years 15 days ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...