
Registered user since Mon 14 Oct 2019
Name:Lukasz Czajka
Affiliation:University of Innsbruck
Personal website:http://www.mimuw.edu.pl/~lukaszcz/
Contributions
FSCD 2017 | Confluence of an extension of Combinatory Logic by Boolean constants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile