6 search results - page 2 / 2 » A Kleene Theorem for Polynomial Coalgebras |
159
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...