Henrik Forssell

Identifiers

• name variant Henrik Forssell 0.60 · backfill

Papers (9)

1. Makkai's lost proof of projectivity of N in the free topos math.LO · 2026 · author #1
2. Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity cs.AI · 2018 · author #1
3. Physical Layer Authentication in Mission-Critical MTC Networks: A Security and Delay Performance Analysis cs.CR · 2018 · author #1
4. Constructive completeness and non-discrete languages math.LO · 2017 · author #1
5. Constructive reflectivity principles for regular theories math.LO · 2016 · author #1
6. Filtered Colimit Preserving Functors on Models of a Regular Theory math.CT · 2013 · author #1
7. Subgroupoids and Quotient Theories math.CT · 2011 · author #1
8. Topological Representation of Geometric Theories math.LO · 2011 · author #1
9. First-Order Logical Duality math.LO · 2010 · author #2

Mentions

• 1306.6789 #1 · backfill · confidence 0.70 Henrik Forssell
• 1111.2952 #1 · backfill · confidence 0.70 Henrik Forssell
• 1109.0699 #1 · backfill · confidence 0.70 Henrik Forssell
• 1008.3145 #2 · backfill · confidence 0.70 Henrik Forssell

Frequent Coauthors

• Peter LeFanu Lumsdaine 2 shared papers
• Andrew W. Swan 1 shared papers
• Christian Esp\'indola 1 shared papers
• Christian Kindermann 1 shared papers
• Daniel P. Lupp 1 shared papers
• Evgenij Thorstensen 1 shared papers
• Hussein Al-Zubaidy 1 shared papers
• James Gross 1 shared papers
• Ragnar Thobaben 1 shared papers
• Steve Awodey 1 shared papers
• Uli Sattler 1 shared papers