@incollection{lawvere:co-heyting:91,
    Author = {Lawvere, F.William},
    BookTitle = {Category Theory},
    Editor = {Carboni, Aurelio and Pedicchio, MariaCristina and Rosolini, Guiseppe},
    File = {Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes - Lawvere (0) (0) - a - a - a.pdf},
    ISBN = {978-3-540-54706-8},
    Keywords = {Heyting algebras},
    Pages = {279-281},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Mathematics},
    Title = {Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes},
    URL = {http://dx.doi.org/10.1007/BFb0084226},
    Volume = {1488},
    Year = {1991},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0084226},
    date-added = {2013-05-18 08:39:24 +0000},
    date-modified = {2013-05-18 08:39:34 +0000},
    doi = {10.1007/BFb0084226}
}

@incollection{lawvere:co-heyting:91, Author = {Lawvere, F.William}, BookTitle = {Category Theory}, Editor = {Carboni, Aurelio and Pedicchio, MariaCristina and Rosolini, Guiseppe}, File = {Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes - Lawvere (0) (0) - a - a - a.pdf}, ISBN = {978-3-540-54706-8}, Keywords = {Heyting algebras}, Pages = {279-281}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Mathematics}, Title = {Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes}, URL = {http://dx.doi.org/10.1007/BFb0084226}, Volume = {1488}, Year = {1991}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0084226}, date-added = {2013-05-18 08:39:24 +0000}, date-modified = {2013-05-18 08:39:34 +0000}, doi = {10.1007/BFb0084226} }