Conference
Infinitary initial algebra specifications for stream algebras
Authors
Tucker JV; Zucker JI
Editors
Sieg W; Sommer R; Talcott C
Series
LECTURE NOTES IN LOGIC
Volume
15
Pagination
pp. 228-247
Publisher
A K PETERS, LTD
Publication Date
January 1, 2002
ISBN-10
1-56881-169-1
Name of conference
Symposium on the Foundations of Mathematics
Conference place
STANFORD UNIV, STANFORD, CA
Conference start date
December 11, 1998
Conference end date
December 13, 1998
Conference proceedings
REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS