Krzysztof Bar

According to our database, Krzysztof Bar authored at least 4 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Data structures for quasistrict higher categories.

Krzysztof Bar, Jamie Vicary

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Globular: An Online Proof Assistant for Higher-Dimensional Rewriting.

Krzysztof Bar, Aleks Kissinger, Jamie Vicary

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2014

A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem.

Krzysztof Bar, Jamie Vicary

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Groupoid Semantics for Thermal Computing.

Krzysztof Bar, Jamie Vicary

CoRR, 2014