Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
Journal Details
M
Mathematical Structures in Computer Science
IF
0.9
Papers
33
Citations
Related Insights
0
subscribe
Journal Papers
33
Related Insights
0
Journal Papers
33
Publication Date
Publication Date
IF
Citations
Formal p-category theory and normalization by evaluation in Rocq
Mathematical Structures in Computer Science
IF
0.9
2026-05-01
0
PRE
AI
Berry, David; Fiore, Marcelo
Share
Save
Mathematical structures in natural language semantics: Zawadowski's contribution to linguistics
Mathematical Structures in Computer Science
IF
0.9
2026-05-01
0
PRE
AI
Chatzikyriakidis, Stergios; Cooper, Robin
Share
Save
Opetopes as zoom complexes and partial orders
Mathematical Structures in Computer Science
IF
0.9
2026-05-01
0
PRE
AI
Leclerc, Louise
Share
Save
From differential linear logic to coherent differentiation
Mathematical Structures in Computer Science
IF
0.9
2026-04-01
0
PRE
AI
Ehrhard, Thomas
Share
Save
Premonoidal and Kleisli double categories
Mathematical Structures in Computer Science
IF
0.9
2026-04-01
0
OA
AI
Femic, Bojana
Share
Save
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies
Mathematical Structures in Computer Science
IF
0.9
2026-04-01
0
PRE
AI
Maietti, Maria Emilia; Sabelli, Pietro; Trotta, Davide
Share
Save
Relative completeness of arithmetical numberings
Mathematical Structures in Computer Science
IF
0.9
2026-04-01
0
PRE
AI
Faizrahmanov, Marat
Share
Save
Categories of quantum cpos
Mathematical Structures in Computer Science
IF
0.9
2026-04-01
0
PRE
AI
Kornell, Andre; Lindenhovius, Bert; Mislove, Michael
Share
Save
Variable polyadicity without events: a type-theoretic analysis of event semantics
Mathematical Structures in Computer Science
IF
0.9
2026-04-01
0
PRE
AI
Luo, Zhaohui; Shi, Yunbao
Share
Save
A dependently-typed calculus of event telicity and culminativity
Mathematical Structures in Computer Science
IF
0.9
2026-03-27
0
PRE
AI
Kovalev, Pavel; Angiuli, Carlo
Share
Save
Linear logic and the Hilbert scheme
Mathematical Structures in Computer Science
IF
0.9
2026-03-09
0
PRE
AI
Murfet, Daniel; Troiani, William Anthony
Share
Save
Gentzen-Mints-Zucker duality
Mathematical Structures in Computer Science
IF
0.9
2026-03-09
0
PRE
AI
Murfet, Daniel; Troiani, William Anthony
Share
Save
Categories for collection monads
Mathematical Structures in Computer Science
IF
0.9
2026-03-04
0
PRE
AI
Moggi, Eugenio
Share
Save
Day algebras
Mathematical Structures in Computer Science
IF
0.9
2026-03-04
0
PRE
AI
Robinson, Edmund; Wrigley, Joshua
Share
Save
On traces in categories of contractions
Mathematical Structures in Computer Science
IF
0.9
2026-02-13
0
OA
AI
Fairbanks, Aaron David; Selinger, Peter
Share
Save
Semiframes: the algebra of semitopologies and actionable coalitions
Mathematical Structures in Computer Science
IF
0.9
2026-02-05
0
PRE
AI
Gabbay, Murdoch J.
Share
Save
Multivariate functorial difference
Mathematical Structures in Computer Science
IF
0.9
2026-02-04
0
PRE
AI
Pare, Robert
Share
Save
Discrete Lawvere theories and monads
Mathematical Structures in Computer Science
IF
0.9
2026-01-21
0
OA
AI
Rosicky, Jiri
Share
Save
Congruence relations on domains
Mathematical Structures in Computer Science
IF
0.9
2026-01-02
0
PRE
AI
Jin, Mengjie; Li, Qingguo
Share
Save
Displayed type theory and semi-simplicial types
Mathematical Structures in Computer Science
IF
0.9
2025-12-17
0
PRE
AI
Kolomatskaia, Astra; Shulman, Michael
Share
Save
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
