| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{Straburger-Intuitionisticproof,
author = {Heijltjes and Dominic J. D. Hughes and Lutz Straßburger},
title = {Intuitionistic proofs without syntax},
booktitle = {Proceedings of the Thirty fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2019)},
year = {2019},
month = {June},
pages = {1--13},
location = {Vancouver},
publisher = {IEEE Computer Society Press}
}