Posts tagged "translation" A (work in progress) translation of Joyal’s original paper on species - February 13, 2018 Things I have learned about vector spaces - November 20, 2010 Typeclassopedia in Japanese! - October 20, 2009
