%0 Journal Article
%A Nour, Karim
%T Classical Combinatory Logic
%J Discrete mathematics & theoretical computer science
%D 2005
%V DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3469/
%R 10.46298/dmtcs.3469
%G en
%F DMTCS_2005_special_251_a1