activity
20092024
most citedPrincipal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

2 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing math.HOShow all

1 paper · 1 filter

math.HO2024

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today

Fairouz Kamareddine, Jonathan Seldin

This paper looks at how ancient mathematicians (and especially the Pythagorean school) were faced by problems/paradoxes associated with the infinite which led them to juggle two sy…