Fairouz Kamareddine
Heriot-Watt University
H-index: 22
Europe-United Kingdom
Top articles of Fairouz Kamareddine
Intersection Types via Finite-Set Declarations
arXiv preprint arXiv:2405.00440
2024/5/1
Fairouz Kamareddine
H-Index: 6
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
arXiv preprint arXiv:2401.02806
2024/1/5
Fairouz Kamareddine
H-Index: 6
Substitution in the lambda Calculus and the role of the Curry School
arXiv preprint arXiv:2401.02745
2024/1/5
Fairouz Kamareddine
H-Index: 6
A Primer of Mathematical Analysis and the Foundations of Computation
2023/10/18
A Century since Principia's Substitution Bedazzled Haskell Curry: In Honour of Jonathan Seldin's 80th Anniversary
2023/7/11
Thoughts on Using the History of Mathematics to Teach the Foundations of Mathematical Analysis
2022/5/26
Fairouz Kamareddine
H-Index: 6
A Novel Method That Identifies The Hidden Properties Of A Person’s Name In Kanji Or Hanzi
2021/11/15
Hua Zhao
H-Index: 0
Fairouz Kamareddine
H-Index: 6
Generating custom set theories with non-set structured objects
2021
Fairouz Kamareddine
H-Index: 6
Adding an abstraction barrier to ZF set theory
2020/7/17
Fairouz Kamareddine
H-Index: 6