McBride / ∂ for Data 29 A. Joyal. Foncteurs analytiques et espéces de structures (1986)

by M Abbott, T Altenkirch, N Ghani, C
Venue:In Combinatoire énumérative, number 1234 in LNM