The true concurrency of herbrand's theorem
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Alcolei, A
Clairambault, P
Hyland, M
Winskel, G
Description
Keywords
Journal Title
Leibniz International Proceedings in Informatics, LIPIcs
Conference Name
Journal ISSN
1868-8969
Volume Title
119
Publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
