Jad Koleilat

Orcid: 0009-0009-1352-0455

According to our database¹, Jad Koleilat authored at least 2 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Fibrational Perspective on Differential Linear Logic.

[DOI]

CoRR, May, 2026

2024

On the Logical Structure of Some Maximality and Well-Foundedness Principles Equivalent to Choice Principles.

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024