2 papers
cs.CL2024
Towards Semantic Markup of Mathematical Documents via User Interaction
Luka VreÄar, Joe Wells, Fairouz Kamareddine
Mathematical documents written in LaTeX often contain ambiguities. We can resolve some of them via semantic markup using, e.g., sTeX, which also has other potential benefits, such…
cs.LO2024
Intersection Types via Finite-Set Declarations
Fairouz Kamareddine, Joe Wells
The lambda-cube is a famous pure type system (PTS) cube of eight powerful explicit type systems that include the simple, polymorphic and dependent type theories. The lambda-cube on…