@article{lmcs:4758, title = {An operational interpretation of coinductive types}, author = {Ćukasz Czajka}, url = {https://lmcs.episciences.org/4758}, doi = {10.23638/LMCS-16(1:11)2020}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 16, Issue 1}, eid = 11, year = {2020}, month = {Feb}, keywords = {Computer Science - Logic in Computer Science}, }