3 ms·

There is a strongly-typed definition of Y here: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id

• ProfHewitt 7y ago
  Some enterprising hacker should research who should be credited for the strongly-typed recursive def of Y.