Thomas Seiller

From MaRDI portal
Person:276247

Available identifiers

zbMath Open seiller.thomasWikidataQ102407820 ScholiaQ102407820MaRDI QIDQ276247

List of research outcomes





PublicationDate of PublicationType
A Cartesian bicategory of polynomial functors in homotopy type theory2024-12-17Paper
Unifying lower bounds for algebraic machines, semantically2024-12-03Paper
Zeta functions and the (linear) logic of Markov processes2024-09-04Paper
Distributing and parallelizing non-canonical loops2023-08-17Paper
Multiplicative linear logic from a resolution-based tile system2022-07-18Paper
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity2022-03-08Paper
https://portal.mardi4nfdi.de/entity/Q50184892021-12-20Paper
An extended and more practical mwp flow analysis2021-06-24Paper
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs2021-06-24Paper
Verificationism and Classical Realizability2020-08-06Paper
Agafonov's Proof of Agafonov's Theorem: A Modern Account and New Insights2020-07-07Paper
https://portal.mardi4nfdi.de/entity/Q52329072019-09-13Paper
Interaction Graphs2018-10-24Paper
Interaction Graphs2018-04-23Paper
A correspondence between maximal abelian sub-algebras and linear logic fragments2018-01-04Paper
https://portal.mardi4nfdi.de/entity/Q45967862017-12-11Paper
https://portal.mardi4nfdi.de/entity/Q52753452017-07-11Paper
Interaction graphs: graphings2016-12-02Paper
Characterizingco-NLby a group action2016-07-28Paper
Unary Resolution: Characterizing Ptime2016-06-10Paper
Logarithmic space and permutations2016-05-03Paper
From Dynamic to Static Semantics, Quantitatively2016-04-18Paper
Logic Programming and Logarithmic Space2016-02-26Paper
Interaction graphs: additives2015-11-18Paper
Towards a Complexity-through-Realisability Theory2015-02-04Paper
Memoization for Unary Logic Programming: Characterizing PTIME2015-01-21Paper
Interaction Graphs: Exponentials2013-12-04Paper
Interaction graphs: multiplicatives2012-10-11Paper

Research outcomes over time

This page was built for person: Thomas Seiller