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
Alban Ponse
Researcher
PaperNon-commutative propositional logic with short-circuited biconditional and NANDAuthorship / preprint / 2022PaperOn Hoare-McCarthy algebrasAuthorship / preprint / 2010PaperPeriodic Single-Pass Instruction SequencesAuthorship / preprint / 2013PaperPoly-infix operators and operator familiesAuthorship / preprint / 2015PaperThree Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of NaturalsAuthorship / preprint / 2016PaperProbability functions in the context of signed involutive meadowsAuthorship / preprint / 2016PaperCancellation Meadows: a Generic Basis Theorem and Some ApplicationsAuthorship / preprint / 2013PaperEquations for formally real meadowsAuthorship / preprint / 2015