Niyousha Najmaei

According to our database, Niyousha Najmaei authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

For Generalised Algebraic Theories, Two Sorts Are Enough.

Samy Avrillon, Ambrus Kaposi, Ambroise Lafont, Niyousha Najmaei, Johann Rosain

CoRR, January, 2026

From Semantics to Syntax: A Type Theory for Comprehension Categories.

Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North

Proc. ACM Program. Lang., 2026

2025

A Type Theory for Comprehension Categories with Applications to Subtyping.

Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North

CoRR, March, 2025