Iman Poernomo

Identifiers

• name variant Iman Poernomo 0.60 · backfill

Papers (1)

1. A Type Theory of Sense: Witnessed Choice in Stratified Semantic Spaces cs.LO · 2026 · author #1

Mentions

• 2606.12504 #1 · arxiv_oai · confidence 0.70 Iman Poernomo