Fully Effective Solutions of Recursive Domain Equations

@inproceedings{Kanda1979FullyES,
  title={Fully Effective Solutions of Recursive Domain Equations},
  author={Akira Kanda},
  booktitle={MFCS},
  year={1979}
}
This paper studies how we can exclude noncc~putable elements of effectively given domains to obtain effective domains, and how we can obtain an effective dcmain which is an effectively initial solution to a recursive domain equation. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

The categorical soluticn of reolrsive dcmain equations

  • Smyth-Plotkin
  • Proc . of the 18 th IEEE FOCS Conference
  • 1976

Similar Papers

Loading similar papers…