Hugo F\'er\'ee

Identifiers

• name variant Hugo F\'er\'ee 0.60 · backfill

Papers (1)

1. Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM cs.LO · 2026 · author #1

Mentions

• 2602.16445 #1 · arxiv_oai · confidence 0.70 Hugo F\'er\'ee

Frequent Coauthors

• Ian Shillito 1 shared papers