21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
variant title
21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
editor
statement of authorship
Edited by Tarmo Uustalu ; with Preface
location of publication
Saarbrücken/Wadern
publisher
year of publication
pages
xii, [250] p. : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 69
conference name, date
21st International Conference on Types for Proofs and Programs, 18-21 May, 2015
conference location
Tallinn, Estonia
subject term
subject of form
ISBN
978-3-95977-030-9
ISSN
1868-8969
notes
Includes bibliogr
TTÜ department
language
inglise
Uustalu, T. (ed.). 21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]. Saarbrücken/Wadern : Dagstuhl Publishing, 2018. xii, [250] p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 69).