Registered user since Mon 14 Oct 2019
Name:Lukasz Czajka
Affiliation:University of Innsbruck
Personal website:http://www.mimuw.edu.pl/~lukaszcz/
Contributions
| CPP 2016 | Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile