Graph explorer

Research map

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

Lionel Vaux
Map detail
Lionel Vaux3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipLionel VauxALionel VauxResearcherTransport of finiteness structures and applicationsWTransport of finiteness...preprint / 2016Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-termsWStrong Normalizability ...preprint / 2016
Person2 links

Lionel Vaux

Researcher