An illustration of the “nice bijection between the set of binary planar trees and the set of 7-tuples of such trees” from Marcelo Fiore’s paper “Isomorphisms of generic recursive polynomial types”, as discussed here.
logopetria
dot tumblr dot com
dot tumblr dot com
An illustration of the “nice bijection between the set of binary planar trees and the set of 7-tuples of such trees” from Marcelo Fiore’s paper “Isomorphisms of generic recursive polynomial types”, as discussed here.
