Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

Registered user since Fri 28 Jul 2017

Name: Petr Lozov

Affiliation: Sain Petersburg State University, SPbGU

Contributions

miniKanren 2020 On Fair Relational Conjunction
Show activities from other conferences

ICFP 2020-profile
View general profile