TY  - JOUR
AU  - Nour, Karim
TI  - Classical Combinatory Logic
JO  - Discrete mathematics & theoretical computer science
PY  - 2005
VL  - DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3469/
DO  - 10.46298/dmtcs.3469
LA  - en
ID  - DMTCS_2005_special_251_a1
ER  -