Options
Title
23rd International Conference on Types for Proofs and Programs, TYPES 2017
Title Supplement
May 24 - June 1, 2017, Budapest, Hungary
Person Involved
Publisher
Publishing Place
Saarbrücken/Wadern
Publication Date
2017
Series
Leibniz International Proceedings in Informatics. LIPIcs; 104
ISBN
978-3-95977-071-2