Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020

Registered user since Fri 28 Jul 2017

Name: Petr Lozov

Affiliation: Sain Petersburg State University, SPbGU

Contributions

miniKanren 2020Author of On Fair Relational Conjunction within the miniKanren 2020-track
Show activities from other conferences

Using general profile