@article{dmtcs:3469,
    title      = {Classical Combinatory Logic},
    author     = {Karim Nour},
    url        = {https://dmtcs.episciences.org/3469},
    doi        = {10.46298/dmtcs.3469},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)},
    issuetitle = {Proceedings},
    eid        = 1,
    year       = {2005},
    month      = {Jan},
    keywords   = {Combinatory logic, Lambda-calculus, Propositional classical logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]},
    language   = {English},
}