István Donkó

According to our database, István Donkó authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Internal Strict Propositions Using Point-Free Equations.

István Donkó, Ambrus Kaposi

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