The Mendler encoding and the problem of explicit recursion

Iowa Type Theory Commute
25/02/2020 10 min Temporada 1 Episodio 48
The Mendler encoding and the problem of explicit recursion

Listen "The Mendler encoding and the problem of explicit recursion"

Descargar episodio

Episode Synopsis

The Church encoding allows definition of certain recursive functions, but all the recursive calls are implicit.  The encoding simply presents you with the results of recursion for all immediate subdata.  Using a technique due to Mendler, an encoding is possible where recursions are explicitly made by the combining functions given to the data.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA