A coinductive calculus of streams

Mathematical Structures in Computer Science - Tập 15 Số 1 - Trang 93-147 - 2005
J.J.M.M. Rutten1
1CWI and VUA, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands Email: [email protected], URL: www.cwi.nl/~janr#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Mathematical Structures in Computer Science

Tập 15 Số 1

93-147

Thông tin tác giả