๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Fiftieth volume of theoretical computer science

โœ Scribed by Maurice Nivat


Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
209 KB
Volume
50
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Several Applications of Analytic Functor
โœ Ryu Hasegawa ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 30 KB

Analytic functors, or combinatorial species, were introduced by Joyal in 80's to provide a categorical foundation to enumerative combinatorics. Incidentally we found that analytic functors can be used as foundations of several subjects in theoretical computer science. A famous theorem by Kruskal of