reflexive domain

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

Nearby terms:

reflexive ♦ reflexive domain ♦ Reflexive transitive closure ♦ RefLisp

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading