Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Fairouz Kamareddine
@article{DBLP:journals/corr/abs-2401-02745,
author = {Fairouz Kamareddine},
title = {Substitution in the lambda Calculus and the role of the Curry School},
journal = {CoRR},
volume = {abs/2401.02745},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02745},
doi = {10.48550/ARXIV.2401.02745},
eprinttype = {arXiv},
eprint = {2401.02745},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02806,
author = {Fairouz Kamareddine and
Jonathan P. Seldin},
title = {The paradoxes and the infinite dazzled ancient mathematics and continue
to do so today},
journal = {CoRR},
volume = {abs/2401.02806},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02806},
doi = {10.48550/ARXIV.2401.02806},
eprinttype = {arXiv},
eprint = {2401.02806},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/misnc/ZhaoKGZ21,
author = {Hua Zhao and
Fairouz Kamareddine and
Alasdair J. G. Gray and
Hind Zantout},
title = {A Novel Method That Identifies The Hidden Properties Of {A} Person's
Name In Kanji Or Hanzi},
booktitle = {{MISNC} 2021: The 8th Multidisciplinary International Social Networks
Conference, Bergen, Norway, November 15 - 17, 2021},
pages = {79--85},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3504006.3504022},
doi = {10.1145/3504006.3504022},
timestamp = {Mon, 21 Mar 2022 11:19:35 +0100},
biburl = {https://dblp.org/rec/conf/misnc/ZhaoKGZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DunneWK21,
author = {Ciar{\'{a}}n Dunne and
J. B. Wells and
Fairouz Kamareddine},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {Generating Custom Set Theories with Non-set Structured Objects},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {228--244},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_19},
doi = {10.1007/978-3-030-81097-9\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/DunneWK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2021,
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9},
doi = {10.1007/978-3-030-81097-9},
isbn = {978-3-030-81096-2},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DunneWK20,
author = {Ciar{\'{a}}n Dunne and
J. B. Wells and
Fairouz Kamareddine},
editor = {Christoph Benzm{\"{u}}ller and
Bruce R. Miller},
title = {Adding an Abstraction Barrier to {ZF} Set Theory},
booktitle = {Intelligent Computer Mathematics - 13th International Conference,
{CICM} 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12236},
pages = {89--104},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53518-6\_6},
doi = {10.1007/978-3-030-53518-6\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/DunneWK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13954,
author = {Ciar{\'{a}}n Dunne and
J. B. Wells and
Fairouz Kamareddine},
title = {Adding an Abstraction Barrier to {ZF} Set Theory},
journal = {CoRR},
volume = {abs/2005.13954},
year = {2020},
url = {https://arxiv.org/abs/2005.13954},
eprinttype = {arXiv},
eprint = {2005.13954},
timestamp = {Wed, 03 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13954.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BajwaKT19,
author = {Imran Sarwar Bajwa and
Fairouz Kamareddine and
Pamini Thangarajah},
title = {Intelligent Computing for Society},
journal = {J. Univers. Comput. Sci.},
volume = {25},
number = {10},
pages = {1219--1220},
year = {2019},
url = {http://www.jucs.org/jucs\_25\_10/intelligent\_computing\_for\_society},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BajwaKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/QuinlanWK19,
author = {Dee Quinlan and
Joe B. Wells and
Fairouz Kamareddine},
editor = {Cezary Kaliszyk and
Edwin C. Brady and
Andrea Kohlhase and
Claudio Sacerdoti Coen},
title = {BNF-Style Notation as It Is Actually Used},
booktitle = {Intelligent Computer Mathematics - 12th International Conference,
{CICM} 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11617},
pages = {187--204},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23250-4\_13},
doi = {10.1007/978-3-030-23250-4\_13},
timestamp = {Sun, 21 Jun 2020 17:42:36 +0200},
biburl = {https://dblp.org/rec/conf/mkm/QuinlanWK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mldm/YinZK19,
author = {Hua Zhao and
Fairouz Kamareddine},
editor = {Petra Perner},
title = {A Novel Phonetic Algorithm for Predicting Chinese Names using Chinese
Pin Yin},
booktitle = {Machine Learning and Data Mining in Pattern Recognition, 15th International
Conference on Machine Learning and Data Mining, {MLDM} 2019, New York,
NY, USA, July 20-25, 2019, Proceedings, Volume {I}},
pages = {78--92},
publisher = {ibai Publishing},
year = {2019},
timestamp = {Sat, 21 Aug 2021 13:54:13 +0200},
biburl = {https://dblp.org/rec/conf/mldm/YinZK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/intap/2018,
editor = {Imran Sarwar Bajwa and
Fairouz Kamareddine and
Anna H. R. Costa},
title = {Intelligent Technologies and Applications - First International Conference,
{INTAP} 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {932},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-981-13-6052-7},
doi = {10.1007/978-981-13-6052-7},
isbn = {978-981-13-6051-0},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intap/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05769,
author = {Hua Zhao and
Fairouz Kamareddine},
title = {Advance gender prediction tool of first names and its use in analysing
gender disparity in Computer Science in the UK, Malaysia and China},
journal = {CoRR},
volume = {abs/1906.05769},
year = {2019},
url = {http://arxiv.org/abs/1906.05769},
eprinttype = {arXiv},
eprint = {1906.05769},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08771,
author = {David Feller and
Joe B. Wells and
Fairouz Kamareddine and
S{\'{e}}bastien Carlier},
title = {What Does This Notation Mean Anyway?},
journal = {CoRR},
volume = {abs/1806.08771},
year = {2018},
url = {http://arxiv.org/abs/1806.08771},
eprinttype = {arXiv},
eprint = {1806.08771},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/RahliWPK17,
author = {Vincent Rahli and
Joe B. Wells and
John Pirie and
Fairouz Kamareddine},
title = {Skalpel: {A} constraint-based type error slicer for Standard {ML}},
journal = {J. Symb. Comput.},
volume = {80},
pages = {164--208},
year = {2017},
url = {https://doi.org/10.1016/j.jsc.2016.07.013},
doi = {10.1016/J.JSC.2016.07.013},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/RahliWPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KamareddineSW16,
author = {Fairouz Kamareddine and
Jonathan P. Seldin and
J. B. Wells},
title = {Bridging Curry and Church's typing style},
journal = {J. Appl. Log.},
volume = {18},
pages = {42--70},
year = {2016},
url = {https://doi.org/10.1016/j.jal.2016.05.008},
doi = {10.1016/J.JAL.2016.05.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/KamareddineSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VenturaKA15,
author = {Daniel Lima Ventura and
Fairouz Kamareddine and
Mauricio Ayala{-}Rinc{\'{o}}n},
title = {Explicit substitution calculi with de Bruijn indices and intersection
type systems},
journal = {Log. J. {IGPL}},
volume = {23},
number = {2},
pages = {295--340},
year = {2015},
url = {https://doi.org/10.1093/jigpal/jzu044},
doi = {10.1093/JIGPAL/JZU044},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VenturaKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/KamareddineWV15,
author = {Fairouz Kamareddine and
Joe B. Wells and
Daniel Lima Ventura},
editor = {Lev D. Beklemishev and
Daniil V. Musatov},
title = {Automath Type Inclusion in Barendregt's Cube},
booktitle = {Computer Science - Theory and Applications - 10th International Computer
Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9139},
pages = {262--282},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20297-6\_17},
doi = {10.1007/978-3-319-20297-6\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/KamareddineWV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RahliWPK15,
author = {Vincent Rahli and
Joe B. Wells and
John Pirie and
Fairouz Kamareddine},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Ian Mackie},
title = {Skalpel: {A} Type Error Slicer for Standard {ML}},
booktitle = {Ninth Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2014, Bras{\'{\i}}lia, Brazil, September 8-9, 2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {312},
pages = {197--213},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2015.04.012},
doi = {10.1016/J.ENTCS.2015.04.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RahliWPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KamareddineWZB14,
author = {Fairouz Kamareddine and
Joe B. Wells and
Christoph Zengler and
Henk Barendregt},
editor = {J{\"{o}}rg H. Siekmann},
title = {Computerising Mathematical Text},
booktitle = {Computational Logic},
series = {Handbook of the History of Logic},
volume = {9},
pages = {343--396},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/B978-0-444-51624-4.50008-3},
doi = {10.1016/B978-0-444-51624-4.50008-3},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hhl/KamareddineWZB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine13,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {56},
number = {1},
pages = {1},
year = {2013},
url = {https://doi.org/10.1093/comjnl/bxs165},
doi = {10.1093/COMJNL/BXS165},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BouhoulaIK13,
editor = {Adel Bouhoula and
Tetsuo Ida and
Fairouz Kamareddine},
title = {Proceedings Fourth International Symposium on Symbolic Computation
in Software Science, {SCSS} 2012, Gammarth, Tunisia, 15-17 December
2012},
series = {{EPTCS}},
volume = {122},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.122},
doi = {10.4204/EPTCS.122},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouhoulaIK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {1},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxr136},
doi = {10.1093/COMJNL/BXR136},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {2},
pages = {133--135},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs007},
doi = {10.1093/COMJNL/BXS007},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {3},
pages = {253--255},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs023},
doi = {10.1093/COMJNL/BXS023},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12c,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {4},
pages = {379--381},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs034},
doi = {10.1093/COMJNL/BXS034},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12d,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {5},
pages = {509--511},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs048},
doi = {10.1093/COMJNL/BXS048},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12e,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {6},
pages = {649--650},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs062},
doi = {10.1093/COMJNL/BXS062},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12f,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {7},
pages = {777--778},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs094},
doi = {10.1093/COMJNL/BXS094},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12g,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {9},
pages = {1021--1022},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs118},
doi = {10.1093/COMJNL/BXS118},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12h,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {10},
pages = {1147},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs137},
doi = {10.1093/COMJNL/BXS137},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12i,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {11},
pages = {1267--1269},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs145},
doi = {10.1093/COMJNL/BXS145},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine12j,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {55},
number = {12},
pages = {1419},
year = {2012},
url = {https://doi.org/10.1093/comjnl/bxs155},
doi = {10.1093/COMJNL/BXS155},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine12j.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamareddineRW12,
author = {Fairouz Kamareddine and
Vincent Rahli and
J. B. Wells},
title = {Reducibility Proofs in the {\(\lambda\)}-Calculus},
journal = {Fundam. Informaticae},
volume = {121},
number = {1-4},
pages = {121--152},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-773},
doi = {10.3233/FI-2012-773},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KamareddineRW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamareddineNRW12,
author = {Fairouz Kamareddine and
Karim Nour and
Vincent Rahli and
J. B. Wells},
title = {On Realisability Semantics for Intersection Types with Expansion Variables},
journal = {Fundam. Informaticae},
volume = {121},
number = {1-4},
pages = {153--184},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-774},
doi = {10.3233/FI-2012-774},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KamareddineNRW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KamareddineLN12,
author = {Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
editor = {Dov M. Gabbay and
Francis Jeffry Pelletier and
John Woods},
title = {A History of Types\({}^{\mbox{*}}\)},
booktitle = {Logic: {A} History of its Central Concepts},
series = {Handbook of the History of Logic},
volume = {11},
pages = {451--511},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/B978-0-444-52937-4.50009-5},
doi = {10.1016/B978-0-444-52937-4.50009-5},
timestamp = {Thu, 09 Jul 2020 09:13:37 +0200},
biburl = {https://dblp.org/rec/series/hhl/KamareddineLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hhl/KamareddineLC12,
author = {Fairouz Kamareddine and
Twan Laan and
Robert L. Constable},
editor = {Dov M. Gabbay and
Akihiro Kanamori and
John Woods},
title = {Russell's Orders in Kripke's Theory of Truth and Computational Type
Theory},
booktitle = {Sets and Extensions in the Twentieth Century},
series = {Handbook of the History of Logic},
volume = {6},
pages = {801--845},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/B978-0-444-51621-3.50011-6},
doi = {10.1016/B978-0-444-51621-3.50011-6},
timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
biburl = {https://dblp.org/rec/series/hhl/KamareddineLC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {2},
pages = {185--186},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr003},
doi = {10.1093/COMJNL/BXR003},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {4},
pages = {503--504},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr031},
doi = {10.1093/COMJNL/BXR031},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {5},
pages = {639--640},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr044},
doi = {10.1093/COMJNL/BXR044},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11c,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {6},
pages = {833--835},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr054},
doi = {10.1093/COMJNL/BXR054},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11d,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {7},
pages = {1005--1009},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr058},
doi = {10.1093/COMJNL/BXR058},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11e,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {8},
pages = {1233--1234},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr075},
doi = {10.1093/COMJNL/BXR075},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11f,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {9},
pages = {1413--1415},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr083},
doi = {10.1093/COMJNL/BXR083},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11g,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {10},
pages = {1561--1564},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr101},
doi = {10.1093/COMJNL/BXR101},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11h,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {11},
pages = {1737--1740},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr114},
doi = {10.1093/COMJNL/BXR114},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine11i,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {54},
number = {12},
pages = {1925--1927},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxr121},
doi = {10.1093/COMJNL/BXR121},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine11i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ayala-RinconPK11,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Elaine Pimentel and
Fairouz Kamareddine},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {37},
pages = {4851--4852},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.06.002},
doi = {10.1016/J.TCS.2011.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ayala-RinconPK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine10,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {53},
number = {6},
pages = {619--622},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxq057},
doi = {10.1093/COMJNL/BXQ057},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/VenturaAK10,
author = {Daniel Lima Ventura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Intersection Type Systems and Explicit Substitutions Calculi},
booktitle = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
pages = {232--246},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9\_19},
doi = {10.1007/978-3-642-13824-9\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/VenturaAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MouraBAK11,
author = {Fl{\'{a}}vio L. C. de Moura and
A. V. Barbosa and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {A Flexible Framework for Visualisation of Computational Properties
of General Explicit Substitutions Calculi},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {41--54},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.004},
doi = {10.1016/J.ENTCS.2011.03.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MouraBAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine09,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {52},
number = {2},
pages = {169--170},
year = {2009},
url = {https://doi.org/10.1093/comjnl/bxp018},
doi = {10.1093/COMJNL/BXP018},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine09a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {52},
number = {3},
pages = {277--279},
year = {2009},
url = {https://doi.org/10.1093/comjnl/bxp034},
doi = {10.1093/COMJNL/BXP034},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine09b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {52},
number = {4},
pages = {393--394},
year = {2009},
url = {https://doi.org/10.1093/comjnl/bxp059},
doi = {10.1093/COMJNL/BXP059},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VenturaAK09,
author = {Daniel Lima Ventura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Explicit substitutions calculi with one step Eta-reduction decided
explicitly},
journal = {Log. J. {IGPL}},
volume = {17},
number = {6},
pages = {697--718},
year = {2009},
url = {https://doi.org/10.1093/jigpal/jzp027},
doi = {10.1093/JIGPAL/JZP027},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VenturaAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/LamarKW09,
author = {Robert Lamar and
Fairouz Kamareddine and
J. B. Wells},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {MathLang Translation to Isabelle Syntax},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {373--388},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_30},
doi = {10.1007/978-3-642-02614-0\_30},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/LamarKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1001-4438,
author = {Daniel Lima Ventura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Maribel Fern{\'{a}}ndez},
title = {Principal Typings in a Restricted Intersection Type System for Beta
Normal Forms with De Bruijn Indices},
booktitle = {Proceedings Ninth International Workshop on Reduction Strategies in
Rewriting and Programming, {WRS} 2009, Brasilia, Brazil, 28th June
2009},
series = {{EPTCS}},
volume = {15},
pages = {69--82},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.15.6},
doi = {10.4204/EPTCS.15.6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconK09,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Preface},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {1--3},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.001},
doi = {10.1016/J.ENTCS.2009.11.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2009,
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/256/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine08,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {51},
number = {2},
pages = {141--143},
year = {2008},
url = {https://doi.org/10.1093/comjnl/bxn010},
doi = {10.1093/COMJNL/BXN010},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine08a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {51},
number = {4},
pages = {405--407},
year = {2008},
url = {https://doi.org/10.1093/comjnl/bxn034},
doi = {10.1093/COMJNL/BXN034},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine08b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {51},
number = {6},
pages = {609--611},
year = {2008},
url = {https://doi.org/10.1093/comjnl/bxn056},
doi = {10.1093/COMJNL/BXN056},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/MouraAK08,
author = {Fl{\'{a}}vio L. C. de Moura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Higher-Order Unification: {A} structural relation between Huet's method
and the one based on explicit substitutions},
journal = {J. Appl. Log.},
volume = {6},
number = {1},
pages = {72--108},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2006.10.001},
doi = {10.1016/J.JAL.2006.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/MouraAK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/VenturaAK08,
author = {Daniel Lima Ventura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Arnold Beckmann and
Costas Dimitracopoulos and
Benedikt L{\"{o}}we},
title = {Principal Typings for Explicit Substitutions Calculi},
booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in
Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5028},
pages = {567--578},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69407-6\_60},
doi = {10.1007/978-3-540-69407-6\_60},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/VenturaAK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KamareddineNRW08,
author = {Fairouz Kamareddine and
Karim Nour and
Vincent Rahli and
J. B. Wells},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {A Complete Realisability Semantics for Intersection Types and Arbitrary
Expansion Variables},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {171--185},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_12},
doi = {10.1007/978-3-540-85762-4\_12},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KamareddineNRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineR09,
author = {Fairouz Kamareddine and
Vincent Rahli},
editor = {Belo Horizonte and
Elaine Pimentel and
Mario R. F. Benevides},
title = {Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction},
booktitle = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {247},
pages = {85--101},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.050},
doi = {10.1016/J.ENTCS.2009.07.050},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KamareddineN07,
author = {Fairouz Kamareddine and
Karim Nour},
title = {A completeness result for a realisability semantics for an intersection
type system},
journal = {Ann. Pure Appl. Log.},
volume = {146},
number = {2-3},
pages = {180--198},
year = {2007},
url = {https://doi.org/10.1016/j.apal.2007.02.001},
doi = {10.1016/J.APAL.2007.02.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KamareddineN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {50},
number = {1},
pages = {1--3},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxl077},
doi = {10.1093/COMJNL/BXL077},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {50},
number = {2},
pages = {131--133},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxm010},
doi = {10.1093/COMJNL/BXM010},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {50},
number = {3},
pages = {251--253},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxm015},
doi = {10.1093/COMJNL/BXM015},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07c,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {50},
number = {4},
pages = {373--374},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxm044},
doi = {10.1093/COMJNL/BXM044},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine07c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07d,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {50},
number = {5},
pages = {501--504},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxm074},
doi = {10.1093/COMJNL/BXM074},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine07d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine07e,
author = {Fairouz Kamareddine},
title = {Capsule reviews},
journal = {Comput. J.},
volume = {50},
number = {6},
pages = {629},
year = {2007},
url = {https://doi.org/10.1093/comjnl/bxm092},
doi = {10.1093/COMJNL/BXM092},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine07e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArbiserKR07,
author = {Ariel Arbiser and
Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {The Weak Normalization of the Simply Typed lambda-\emph{s\({}_{\mbox{e}}\)}-calculus},
journal = {Log. J. {IGPL}},
volume = {15},
number = {2},
pages = {121--147},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm003},
doi = {10.1093/JIGPAL/JZM003},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ArbiserKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KamareddineLMW07,
author = {Fairouz Kamareddine and
Robert Lamar and
Manuel Maarek and
J. B. Wells},
editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
title = {Restoring Natural Language as a Computerised Mathematics Input Method},
booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4573},
pages = {280--295},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73086-6\_23},
doi = {10.1007/978-3-540-73086-6\_23},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KamareddineLMW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KamareddineMRW07,
author = {Fairouz Kamareddine and
Manuel Maarek and
Krzysztof Retel and
J. B. Wells},
editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
title = {Narrative Structure of Mathematical Texts},
booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4573},
pages = {296--312},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73086-6\_24},
doi = {10.1007/978-3-540-73086-6\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KamareddineMRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Kamareddine07,
author = {Fairouz Kamareddine},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {The Gradual Computerisation of Mathematics in MathLang},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.85},
doi = {10.1109/SYNASC.2007.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Kamareddine07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineW08,
author = {Fairouz Kamareddine and
J. B. Wells},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Edward Hermann Haeusler},
title = {Computerizing Mathematical Text with MathLang},
booktitle = {Proceedings of the Second Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2007, Ouro Preto, Brazil, August 28-29,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {205},
pages = {5--30},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.063},
doi = {10.1016/J.ENTCS.2008.03.063},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine06,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {49},
number = {1},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxh160},
doi = {10.1093/COMJNL/BXH160},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine06a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {49},
number = {3},
pages = {255--257},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxl014},
doi = {10.1093/COMJNL/BXL014},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddinne06,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {49},
number = {4},
pages = {381--382},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxl036},
doi = {10.1093/COMJNL/BXL036},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddinne06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine06b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {49},
number = {5},
pages = {505--506},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxl054},
doi = {10.1093/COMJNL/BXL054},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine06b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine06c,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {49},
number = {6},
pages = {631--633},
year = {2006},
url = {https://doi.org/10.1093/comjnl/bxl061},
doi = {10.1093/COMJNL/BXL061},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine06c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MouraAK06,
author = {Fl{\'{a}}vio L. C. de Moura and
Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {{SUBSEXPL:} a tool for simulating and comparing explicit substitutions
calculi},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {1-2},
pages = {119--150},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.119-150},
doi = {10.3166/JANCL.16.119-150},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/MouraAK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ayala-RinconMK05,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fl{\'{a}}vio L. C. de Moura and
Fairouz Kamareddine},
title = {Comparing and implementing calculi of explicit substitutions with
eta-reduction},
journal = {Ann. Pure Appl. Log.},
volume = {134},
number = {1},
pages = {5--41},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.06.009},
doi = {10.1016/J.APAL.2004.06.009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Ayala-RinconMK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine05,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {48},
number = {3},
pages = {257--258},
year = {2005},
url = {https://doi.org/10.1093/comjnl/bxh106},
doi = {10.1093/COMJNL/BXH106},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine05a,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {48},
number = {4},
pages = {382--384},
year = {2005},
url = {https://doi.org/10.1093/comjnl/bxh123},
doi = {10.1093/COMJNL/BXH123},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine05b,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {48},
number = {5},
pages = {501},
year = {2005},
url = {https://doi.org/10.1093/comjnl/bxh137},
doi = {10.1093/COMJNL/BXH137},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine05b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Kamareddine05c,
author = {Fairouz Kamareddine},
title = {Capsule Reviews},
journal = {Comput. J.},
volume = {48},
number = {6},
pages = {627--629},
year = {2005},
url = {https://doi.org/10.1093/comjnl/bxh143},
doi = {10.1093/COMJNL/BXH143},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Kamareddine05c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kamareddine05,
author = {Fairouz Kamareddine},
title = {Typed lambda-calculi with one binder},
journal = {J. Funct. Program.},
volume = {15},
number = {5},
pages = {771--796},
year = {2005},
url = {https://doi.org/10.1017/S095679680500554X},
doi = {10.1017/S095679680500554X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Kamareddine05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KamareddineB05,
author = {Fairouz Kamareddine and
Roel Bloo},
title = {De Bruijn's syntax and reductional behaviour of lambda-terms: the
untyped case},
journal = {J. Log. Algebraic Methods Program.},
volume = {62},
number = {1},
pages = {109--131},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.001},
doi = {10.1016/J.JLAP.2004.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KamareddineB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KamareddineB05a,
author = {Fairouz Kamareddine and
Roel Bloo},
title = {De Bruijn's syntax and reductional behaviour of lambda-terms: the
typed case},
journal = {J. Log. Algebraic Methods Program.},
volume = {62},
number = {2},
pages = {159--189},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.01.008},
doi = {10.1016/J.JLAP.2004.01.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KamareddineB05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KamareddineMW05,
author = {Fairouz Kamareddine and
Manuel Maarek and
J. B. Wells},
editor = {Michael Kohlhase},
title = {Toward an Object-Oriented Structure for Mathematical Text},
booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3863},
pages = {217--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11618027\_15},
doi = {10.1007/11618027\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KamareddineMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Kamareddine04,
author = {Fairouz Kamareddine},
title = {Editorial},
journal = {J. Appl. Log.},
volume = {2},
number = {2},
pages = {169--172},
year = {2004},
url = {https://doi.org/10.1016/j.jal.2004.02.001},
doi = {10.1016/J.JAL.2004.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Kamareddine04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KamareddineN04,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {A Refinement of de Bruijn's Formal Language of Mathematics},
journal = {J. Log. Lang. Inf.},
volume = {13},
number = {3},
pages = {287--340},
year = {2004},
url = {https://doi.org/10.1023/B:JLLI.0000028393.47593.b8},
doi = {10.1023/B:JLLI.0000028393.47593.B8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KamareddineN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MouraKA04,
author = {Fl{\'{a}}vio L. C. de Moura and
Fairouz Kamareddine and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Franz Baader and
Andrei Voronkov},
title = {Second-Order Matching via Explicit Substitutions},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {433--448},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_29},
doi = {10.1007/978-3-540-32275-7\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MouraKA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KamareddineMW04,
author = {Fairouz Kamareddine and
Manuel Maarek and
J. B. Wells},
editor = {Andrea Asperti and
Grzegorz Bancerek and
Andrzej Trybulec},
title = {Flexible Encoding of Mathematics on the Computer},
booktitle = {Mathematical Knowledge Management, Third International Conference,
{MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3119},
pages = {160--174},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27818-4\_12},
doi = {10.1007/978-3-540-27818-4\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KamareddineMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2003s,
editor = {Fairouz Kamareddine},
title = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM}
Symposium 2003, Edinburgh, UK, November 25-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {93},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/93/suppl/C},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2003s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KamareddineH03,
author = {Fairouz Kamareddine and
Qiao Haiyan},
title = {Formalizing Strong Normalization Proofs of Explicit Substitution Calculi
in {ALF}},
journal = {J. Autom. Reason.},
volume = {30},
number = {1},
pages = {59--98},
year = {2003},
url = {https://doi.org/10.1023/A:1022527914293},
doi = {10.1023/A:1022527914293},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KamareddineH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KamareddineLN03,
author = {Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
title = {Revisiting the notion of function},
journal = {J. Log. Algebraic Methods Program.},
volume = {54},
number = {1-2},
pages = {65--107},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(02)00016-4},
doi = {10.1016/S1567-8326(02)00016-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KamareddineLN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/KamareddineMA03,
author = {Fairouz Kamareddine and
Fran{\c{c}}ois Monin and
Mauricio Ayala{-}Rinc{\'{o}}n},
title = {On Automating the Extraction of Programs from Termination Proofs},
journal = {Rev. Colomb. de Computaci{\'{o}}n},
volume = {4},
number = {2},
year = {2003},
url = {https://doi.org/10.29375/25392115.1088},
doi = {10.29375/25392115.1088},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcc/KamareddineMA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/WellsPK03,
author = {J. B. Wells and
Detlef Plump and
Fairouz Kamareddine},
editor = {Robert Nieuwenhuis},
title = {Diagrams for Meaning Preservation},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {88--106},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_8},
doi = {10.1007/3-540-44881-0\_8},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/WellsPK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kamareddine04,
author = {Fairouz Kamareddine},
editor = {Fairouz Kamareddine},
title = {Mathematical Knowledge Management Symposium 2003},
booktitle = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM}
Symposium 2003, Edinburgh, UK, November 25-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {93},
pages = {1--4},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.01.001},
doi = {10.1016/J.ENTCS.2003.01.001},
timestamp = {Wed, 07 Dec 2022 10:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kamareddine04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineLN03,
author = {Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
editor = {Herman Geuvers and
Fairouz Kamareddine},
title = {Automath and Pure Type Systems},
booktitle = {Mathematics, Logic and Computation, Satellite Event of {ICALP} 2003,
Eindhoven, The Netherlands, July 4-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {7},
pages = {30--49},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80756-4},
doi = {10.1016/S1571-0661(04)80756-4},
timestamp = {Thu, 08 Dec 2022 15:22:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineLN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineR03,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
editor = {Herman Geuvers and
Fairouz Kamareddine},
title = {Explicit substitutions {\`{a}} la de Bruijn: the local and global
way},
booktitle = {Mathematics, Logic and Computation, Satellite Event of {ICALP} 2003,
Eindhoven, The Netherlands, July 4-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {7},
pages = {86--105},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80759-X},
doi = {10.1016/S1571-0661(04)80759-X},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineMW04,
author = {Fairouz Kamareddine and
Manuel Maarek and
J. B. Wells},
editor = {Fairouz Kamareddine},
title = {MathLang: Experience-driven Development of a New Mathematical Language},
booktitle = {Proceedings of the Mathematical Knowledge Management Symposium, {MKM}
Symposium 2003, Edinburgh, UK, November 25-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {93},
pages = {138--160},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2003.12.032},
doi = {10.1016/J.ENTCS.2003.12.032},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GeuversK03,
author = {Herman Geuvers and
Fairouz Kamareddine},
editor = {Herman Geuvers and
Fairouz Kamareddine},
title = {Preface},
booktitle = {Mathematics, Logic and Computation, Satellite Event of {ICALP} 2003,
Eindhoven, The Netherlands, July 4-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {7},
pages = {146--147},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80762-5},
doi = {10.1016/S1571-0661(05)80762-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GeuversK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2003mlc,
editor = {Herman Geuvers and
Fairouz Kamareddine},
title = {Mathematics, Logic and Computation, Satellite Event of {ICALP} 2003,
Eindhoven, The Netherlands, July 4-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {7},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/85/issue/7},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2003mlc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/KamareddineLN02,
author = {Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
title = {Types in logic and mathematics before 1940},
journal = {Bull. Symb. Log.},
volume = {8},
number = {2},
pages = {185--245},
year = {2002},
url = {https://doi.org/10.2178/bsl/1182353871},
doi = {10.2178/BSL/1182353871},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/KamareddineLN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KamareddineR02,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {Pure Type Systems with de Bruijn Indices},
journal = {Comput. J.},
volume = {45},
number = {2},
pages = {187--201},
year = {2002},
url = {https://doi.org/10.1093/comjnl/45.2.187},
doi = {10.1093/COMJNL/45.2.187},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/KamareddineR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BorghuisKN02,
author = {Tijn Borghuis and
Fairouz Kamareddine and
Rob Nederpelt},
title = {Formalizing Belief Revision in Type Theory},
journal = {Log. J. {IGPL}},
volume = {10},
number = {5},
pages = {461--500},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.5.461},
doi = {10.1093/JIGPAL/10.5.461},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BorghuisKN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KamareddineM02,
author = {Fairouz Kamareddine and
Fran{\c{c}}ois Monin},
title = {An Extension of an Automated Termination Method of Recursive Functions},
journal = {Int. J. Found. Comput. Sci.},
volume = {13},
number = {3},
pages = {361--386},
year = {2002},
url = {https://doi.org/10.1142/S0129054102001163},
doi = {10.1142/S0129054102001163},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KamareddineM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Kamareddine02,
author = {Fairouz Kamareddine},
title = {Special Issue Mechanizing and Automating Mathematics: In honour of
{N.G.} de Bruijn - Preface},
journal = {J. Autom. Reason.},
volume = {29},
number = {3-4},
pages = {183--188},
year = {2002},
url = {https://doi.org/10.1023/A:1021977414812},
doi = {10.1023/A:1021977414812},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Kamareddine02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BlooKLN02,
author = {Roel Bloo and
Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
editor = {Sergio Rajsbaum},
title = {Parameters in Pure Type Systems},
booktitle = {{LATIN} 2002: Theoretical Informatics, 5th Latin American Symposium,
Cancun, Mexico, April 3-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2286},
pages = {371--385},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45995-2\_34},
doi = {10.1007/3-540-45995-2\_34},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/BlooKLN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Kamareddine02,
author = {Fairouz Kamareddine},
editor = {William I. Grosky and
Frantisek Pl{\'{a}}sil},
title = {On Functions and Types: {A} Tutorial},
booktitle = {{SOFSEM} 2002: Theory and Practice of Informatics, 29th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2540},
pages = {74--93},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36137-5\_4},
doi = {10.1007/3-540-36137-5\_4},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Kamareddine02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ayala-RinconMK02,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fl{\'{a}}vio L. C. de Moura and
Fairouz Kamareddine},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {Comparing Calculi of Explicit Substitutions with Eta-reduction},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {76--95},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80542-5},
doi = {10.1016/S1571-0661(04)80542-5},
timestamp = {Mon, 05 Dec 2022 16:07:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ayala-RinconMK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamareddineMA02,
author = {Fairouz Kamareddine and
Fran{\c{c}}ois Monin and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {On automating the extraction of programs from proofs using product
types},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {233--253},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80551-6},
doi = {10.1016/S1571-0661(04)80551-6},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KamareddineMA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kamareddine01,
author = {Fairouz Kamareddine},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {9},
number = {3},
pages = {335--337},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.3.335},
doi = {10.1093/JIGPAL/9.3.335},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kamareddine01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ayala-RinconK01,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Unification via the lambda s\({}_{\mbox{e}}\)-Style of Explicit Substitutions},
journal = {Log. J. {IGPL}},
volume = {9},
number = {4},
pages = {489--523},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.4.489},
doi = {10.1093/JIGPAL/9.4.489},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ayala-RinconK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KamareddineL01,
author = {Fairouz Kamareddine and
Twan Laan},
title = {A Correspondence between Martin-L{\"{o}}f Type Theory, the Ramified
Theory of Types and Pure Type Systems},
journal = {J. Log. Lang. Inf.},
volume = {10},
number = {3},
pages = {375--402},
year = {2001},
url = {https://doi.org/10.1023/A:1011286100450},
doi = {10.1023/A:1011286100450},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KamareddineL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine01,
author = {Fairouz Kamareddine},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {359--361},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.359},
doi = {10.1093/LOGCOM/11.3.359},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine01a,
author = {Fairouz Kamareddine},
title = {Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus
and Pure Type Systems},
journal = {J. Log. Comput.},
volume = {11},
number = {3},
pages = {363--394},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.3.363},
doi = {10.1093/LOGCOM/11.3.363},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KamareddineLN01,
author = {Fairouz Kamareddine and
Twan Laan and
Rob Nederpelt},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Refining the Barendregt Cube Using Parameters},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {375--390},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_24},
doi = {10.1007/3-540-44716-4\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/KamareddineLN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KamareddineBN01,
author = {Fairouz Kamareddine and
Roel Bloo and
Rob Nederpelt},
title = {De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {16--27},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773187},
doi = {10.1145/773184.773187},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KamareddineBN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KamareddineK00,
author = {Fairouz Kamareddine and
Jan Willem Klop},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {10},
number = {3},
pages = {321--322},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.3.321},
doi = {10.1093/LOGCOM/10.3.321},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KamareddineK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KamareddineR00,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {Relating the {\(\lambda\)}{\(\sigma\)}- and {\(\lambda\)}s-styles
of explicit substitutions},
journal = {J. Log. Comput.},
volume = {10},
number = {3},
pages = {349--380},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.3.349},
doi = {10.1093/LOGCOM/10.3.349},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KamareddineR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine00,
author = {Fairouz Kamareddine},
title = {Postponement, conservation and preservation of strong normalization
for generalized reduction},
journal = {J. Log. Comput.},
volume = {10},
number = {5},
pages = {721--738},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.5.721},
doi = {10.1093/LOGCOM/10.5.721},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Ayala-RinconK00,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
editor = {Maurizio Gabbrielli and
Frank Pfenning},
title = {Unification via \emph{s\({}_{\mbox{e}}\)}-style of explicit substitution},
booktitle = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
on Principles and practice of declarative programming, Montreal, Canada,
September 20-23, 2000},
pages = {163--174},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351268.351288},
doi = {10.1145/351268.351288},
timestamp = {Tue, 27 Nov 2018 15:37:24 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Ayala-RinconK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KamareddineBN99,
author = {Fairouz Kamareddine and
Roel Bloo and
Rob Nederpelt},
title = {On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations},
journal = {Ann. Pure Appl. Log.},
volume = {97},
number = {1-3},
pages = {27--45},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00019-0},
doi = {10.1016/S0168-0072(98)00019-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KamareddineBN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KamareddineM99,
author = {Fairouz Kamareddine and
Fran{\c{c}}ois Monin},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {On Automating Inductive and Non-inductive Termination Methods},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {177--189},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_16},
doi = {10.1007/3-540-46674-6\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/KamareddineM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KamareddineM99,
author = {Fairouz Kamareddine and
Fran{\c{c}}ois Monin},
editor = {Gopalan Nadathur},
title = {On Formalised Proofs of Termination of Recursive Functions},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {29--46},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_2},
doi = {10.1007/10704567\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/KamareddineM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KamareddineR98,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {Bridging de Bruijn Indices and Variable Names in Explicit Substitutions
Calculi},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {843--874},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.843},
doi = {10.1093/JIGPAL/6.6.843},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/KamareddineR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Kamareddine98,
author = {Fairouz Kamareddine},
title = {The Soundness of Explicit Substitution with Nameless Variables},
journal = {Int. J. Found. Comput. Sci.},
volume = {9},
number = {3},
pages = {321},
year = {1998},
url = {https://doi.org/10.1142/S0129054198000210},
doi = {10.1142/S0129054198000210},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Kamareddine98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/KamareddineRW98,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os and
J. B. Wells},
title = {Calculi of Generalized beta-Reduction and Explicit Substitutions:
The Type-Free and Simply Typed Versions},
journal = {J. Funct. Log. Program.},
volume = {1998},
number = {5},
year = {1998},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-05/A98-05.html},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/KamareddineRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KamareddineR97,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {Extending a lambda-Calculus with Explicit Substitution which Preserves
Strong Normalisation Into a Confluent Calculus on Open Terms},
journal = {J. Funct. Program.},
volume = {7},
number = {4},
pages = {395--420},
year = {1997},
url = {https://doi.org/10.1017/s0956796897002785},
doi = {10.1017/S0956796897002785},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KamareddineR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BartheKR97,
author = {Gilles Barthe and
Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Explicit Substitutions for the Lambda-Calculus},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {209--223},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027012},
doi = {10.1007/BFB0027012},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BartheKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlooKN96,
author = {Roel Bloo and
Fairouz Kamareddine and
Rob Nederpelt},
title = {The Barendregt Cube with Definitions and Generalised Reduction},
journal = {Inf. Comput.},
volume = {126},
number = {2},
pages = {123--143},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0041},
doi = {10.1006/INCO.1996.0041},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BlooKN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KamareddineL96,
author = {Fairouz Kamareddine and
Twan Laan},
title = {A Reflection on Russell's Ramified Types and Kripke's Hierarchy of
Truths},
journal = {Log. J. {IGPL}},
volume = {4},
number = {2},
pages = {195--213},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.2.195},
doi = {10.1093/JIGPAL/4.2.195},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KamareddineL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KamareddineN96,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {Canonical Typing and Pi-Conversion in the Barendregt Cube},
journal = {J. Funct. Program.},
volume = {6},
number = {2},
pages = {245--267},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001672},
doi = {10.1017/S0956796800001672},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KamareddineN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KamareddineN96,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {A Useful lambda-Notation},
journal = {Theor. Comput. Sci.},
volume = {155},
number = {1},
pages = {85--109},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00101-8},
doi = {10.1016/0304-3975(95)00101-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KamareddineN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KamareddineR96,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Generalized beta-Reduction and Explicit Substitution},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {378--392},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_98},
doi = {10.1007/3-540-61756-6\_98},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/KamareddineR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kamareddine95,
author = {Fairouz Kamareddine},
title = {Important Issues in Foundational Formalisms},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {291--317},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.291},
doi = {10.1093/JIGPAL/3.2-3.291},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kamareddine95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KamareddineN95,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {Refining Reduction in the Lambda Calculus},
journal = {J. Funct. Program.},
volume = {5},
number = {4},
pages = {637--651},
year = {1995},
url = {https://doi.org/10.1017/S0956796800001507},
doi = {10.1017/S0956796800001507},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KamareddineN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamareddine95,
author = {Fairouz Kamareddine},
title = {A Type Free Theory and Collective/Distributive Predication},
journal = {J. Log. Lang. Inf.},
volume = {4},
number = {2},
pages = {85--109},
year = {1995},
url = {https://doi.org/10.1007/BF01048616},
doi = {10.1007/BF01048616},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamareddine95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KamareddineR95,
author = {Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {A Lambda-Calculus {\`{a}} la de Bruijn with Explicit Substitutions},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {45--62},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026813},
doi = {10.1007/BFB0026813},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/KamareddineR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KamareddineN94,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {A Unified Approach to Type Theory Through a Refined lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {136},
number = {1},
pages = {183--216},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)00127-5},
doi = {10.1016/0304-3975(94)00127-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KamareddineN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KamareddineN93,
author = {Fairouz Kamareddine and
Rob Nederpelt},
title = {On Stepwise Explicit Substitution},
journal = {Int. J. Found. Comput. Sci.},
volume = {4},
number = {3},
pages = {197--240},
year = {1993},
url = {https://doi.org/10.1142/S0129054193000146},
doi = {10.1142/S0129054193000146},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KamareddineN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KamareddineK93,
author = {Fairouz Kamareddine and
Ewan Klein},
title = {Polymorphism, Type containment and Nominalization},
journal = {J. Log. Lang. Inf.},
volume = {2},
number = {3},
pages = {171--215},
year = {1993},
url = {https://doi.org/10.1007/BF01050787},
doi = {10.1007/BF01050787},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KamareddineK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamareddine92,
author = {Fairouz Kamareddine},
title = {{\(\lambda\)}-Terms, Logic, Determiners and Quantifiers},
journal = {J. Log. Lang. Inf.},
volume = {1},
number = {1},
pages = {79--104},
year = {1992},
url = {https://doi.org/10.1007/BF00203387},
doi = {10.1007/BF00203387},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamareddine92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine92,
author = {Fairouz Kamareddine},
title = {Set Theory and Nominalization, Part {I}},
journal = {J. Log. Comput.},
volume = {2},
number = {5},
pages = {579--604},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.5.579},
doi = {10.1093/LOGCOM/2.5.579},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamareddine92a,
author = {Fairouz Kamareddine},
title = {Set Theory and Nominalization, Part {II}},
journal = {J. Log. Comput.},
volume = {2},
number = {6},
pages = {687--707},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.6.687},
doi = {10.1093/LOGCOM/2.6.687},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamareddine92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Kamareddine92,
author = {Fairouz Kamareddine},
title = {A System at the Cross-Roads of Functional and Logic Programming},
journal = {Sci. Comput. Program.},
volume = {19},
number = {3},
pages = {239--279},
year = {1992},
url = {https://doi.org/10.1016/0167-6423(92)90037-C},
doi = {10.1016/0167-6423(92)90037-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Kamareddine92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-26 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
