morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Find where Joyal’s theory of combinatory species finds application

Open prathyvsh opened this issue 4 years ago • 0 comments

Some references: https://www.cis.upenn.edu/~sweirich/papers/yorgey-thesis.pdf https://ncatlab.org/nlab/show/species

prathyvsh avatar Sep 17 '20 19:09 prathyvsh