Krzysztof Bar

Identifiers

• name variant Krzysztof Bar 0.60 · backfill

Papers (2)

1. Data structures for quasistrict higher categories math.CT · 2016 · author #1
2. Groupoid Semantics for Thermal Computing cs.LO · 2014 · author #1

Mentions

• 1401.3280 #1 · backfill · confidence 0.70 Krzysztof Bar

Frequent Coauthors

• Jamie Vicary 2 shared papers