Infinitary initial algebra specifications for stream algebras
Conferences
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- January 1, 2002
published in
presented at event
- Symposium on the Foundations of Mathematics Conference