Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Christine Tasson
Researcher
PaperTransport of finiteness structures and applicationsAuthorship / preprint / 2016PaperThe linear-non-linear substitution 2-monadAuthorship / preprint / 2021PaperDistributed Computability in Byzantine Asynchronous SystemsAuthorship / preprint / 2014PaperMackey-complete spaces and power series -- A topological model of Differential Linear LogicAuthorship / preprint / 2015PaperStrong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-termsAuthorship / preprint / 2016PaperA convenient differential categoryAuthorship / preprint / 2010PaperFull abstraction for probabilistic PCFAuthorship / preprint / 2015PaperCall-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculusAuthorship / preprint / 2014