Georgi Nakov

According to our database, Georgi Nakov authored at least 2 papers in 2021.

Collaborative distances:

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

2021

Quantitative Polynomial Functors.

Georgi Nakov, Fredrik Nordvall Forsberg

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Quantitative Polynomial Functors (Early Ideas).

Georgi Nakov, Fredrik Nordvall Forsberg

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021