联系我们
Isaac Scientific Publishing
Advances in Computational and Applied Sciences
Prof. Fairouz Kamareddine,  Heriot-Watt University, UK
School of Mathematical and Computer Sciences
Mountbatten building, Riccarton
Edinburgh EH14 4ASQ
Scotland.
Selected Publication List
• Vincent Rahli, J.B. Wells, John Pirie, and Fairouz Kamareddine (2017). Skalpel: A Constraint-Based Type Error Slicer for Standard ML Journal of Symbolic Computation 80. 164-208.
• Fairouz Kamareddine, Jonathan P. Seldin and J.B. Wells (2016) Bridging Curry and Church's typing style. Journal of Applied Logic 18, pages 42-70, November 2016. Elsevier, North Holland. DOI information: 10.1016/j.jal.2016.05.008
• Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincon (2015). Explicit substitutions calculi with de Bruijn indices and intersection type systems. The Logic Journal of the Interest Group of Pure and Applied Logic Volume 23, issue 2, Pages 295-340, 2015. ISSN 1367-0751, Oxford University Press.
• Fairouz Kamareddine, Karim Nour, Vincent Rahli and J.B. Wells (2012). On Realisability Semantics for Intersection Types with Expansion Variables. For the extended version with proofs. Fundamenta Informatica 121(1-4): 153-184 (2012).
• Fairouz Kamareddine, Vincent Rahli and J.B. Wells (2012). Reducibility proofs in the lambda calculus. For the extended version with proofs, click here. Fundamenta Informatica 121(1-4): 121-152 (2012)
• Daniel Lima Ventura, Mauricio Ayala-Rinc and Fairouz Kamareddine (2009). Explicit substitutions calculi with one step Eta-reduction decided explicitly. the Logic Journal of the Interest Group of Pure and Applied Logic Volume 17, issue 6, Pages 697-718, 2009. ISSN 1367-0751, Oxford University Press.
• Flavio de Moura, Mauricio Ayala-Rinc and Fairouz Kamareddine (2008). Higher Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. The journal of Applied Logic, Volume 6, Issue 1, Pages 72-108, Elsevier, North-Holland. ISSN 1570-8683. March 2008.
• Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel and Joe Wells (2007). Digitised Mathematics: Computerisation vs. Formalisation. Review of the National Center for Digitization, Volume 10, pages 1-8, Faculty of Mathematics, Belgrade, Serbia, 2007.
• Fairouz Kamareddine and Karim Nour (2007). A completeness result for a realisability semantics for an intersection type system. Annals of Pure and Applied Logic, Volume 146, Pages 180-198, May 2007. ISSN: 0168-0072. Elsevier, North-Holland.
• Ariel Arbiser, Fairouz Kamareddine and Alejandro Rios (2007). The Weak Normalisation of the simply typed $\lambda s_e$-calculus. the Logic Journal of the Interest Group of Pure and Applied Logic Volume 15, issue 2, Pages 121-147, 2007. ISSN 1367-0751, Oxford University Press.
• Flavio de Moura, Mauricio Ayala-Rinc and Fairouz Kamareddine (2006). SUBSEXPL: A Tool for Simulating and Comparing Explicit Substitutions Calculi. Journal of Applied Non-classical Logics Volume 16, issue 1-2, Pages 119-150, 2006. E'ditions Herm`es-Lavoisier.
• Fairouz Kamareddine (2005). Typed lambda calculi with unified binders. Journal of Functional Programming Volume 15, no. (5), pages 771-796, September 2005, ISSN: 0956-7968. Cambridge University Press.
Copyright © 2020 Isaac Scientific Publishing Co. All rights reserved.