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