| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 438669 | Theoretical Computer Science | 2007 | 8 Pages |
Abstract
Reynolds’s work in parametric polymorphism when specialized to a particular example gives rise to the notion of the core of a category and its associated equational theory of core algebras.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
