@InProceedings{TPB12,
    Author       = "Traytel, D. and Popescu, A. and Blanchette, J.",
    Year         = "2012",
    Title        = "{Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category
                    Theory Applied to Theorem Proving}",
    Editor       = "Dershowitz, N.",
    BookTitle    = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}",
    Place        = "Dubrovnik, Croatia",
    Pages        = "596-605",
    Comment      = ""
}