Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ambrus Kaposi
Map detail
Ambrus Kaposi3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAmbrus KaposiAAmbrus KaposiResearcherLarge and Infinitary Quotient Inductive-Inductive TypesWLarge and Infinitary Qu...preprint / 2020Free Applicative FunctorsWFree Applicative Functorspreprint / 2014
Person2 links

Ambrus Kaposi

Researcher