works on

From the 3 of 45 papers with an AI index.

most citedTwo-Level Type Theory and Applications

25 citations

Showing cs.HCShow all

4 papers · 1 filter