@inproceedings{698c2ffe20ff4d2588d0551873df24b4,
title = "On the Semantics of Coinductive Types in Martin-Loef Type Theory",
keywords = "Wiskunde en Informatica (WIIN), Mathematics, Landbouwwetenschappen, Natuurwetenschappen, Wiskunde: algemeen",
author = "{de Marchi}, F.",
note = "First International Conference, CALCO 2005",
year = "2005",
month = mar,
day = "9",
language = "Undefined/Unknown",
pages = "114--127",
editor = "{Luiz Fiadeiro}, Jose and Neil Harman and Markus Roggenbach and Jan Rutten",
booktitle = "Algebra and Coalgebra in Computer Science",
publisher = "Springer",
address = "Germany",
}