@inproceedings{
    eekm07:ProvingLazyFolklore_HB60,
    author      = {{van Eekelen}, Marko and {de Mol}, Maarten},
    title       = {{P}roving {L}azy {F}olklore {W}ith {M}ixed {L}azy/{S}trict {S}emantics},
    booktitle   = {{R}eflections on {T}ype {T}heory, $\lambda$-{C}alculus, and the {M}ind -- {E}ssays dedicated to {H}enk {B}arendregt on the occasion of his 60th birthday},
    editor      = {Barendsen, Erik and Capretta, Venanzio and Geuvers, Herman and Niqui, Milad},
    address     = {{N}ijmegen, {T}he {N}etherlands},
    year        = 2007,
    month       = {Dec 17},
    publisher   = {University of Nijmegen},
    isbn        = "978-90-9022446-6",
    pages       = {87-100}
}