reflexive domain

A domain satisfying a recursive domain equation. E.g. D = D -> D.

Try this search on Wikipedia, OneLook, Google

Nearby terms: Refined C « Refined Fortran « reflexive « reflexive domain » Reflexive transitive closure » RefLisp » refresh


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.