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
Uustalu, Tarmo
statement of authorship
Edited by Tarmo Uustalu ; with Preface
location of publication
Saarbrücken/Wadern
publisher
Dagstuhl Publishing
year of publication
2018
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
url
http://doi.org/10.4230/lipics.types.2015.0
http://www.dagstuhl.de/dagpub/978-3-95977-030-9
subject term
arvutiteadus
intellektitehnika
loogiline programmeerimine
tõestuste teooria
tüübiteooria
subject of form
konverentsikogumikud
võrguväljaanded
ISBN
978-3-95977-030-9
ISSN
1868-8969
notes
Includes bibliogr
TalTech department
tarkvarateaduse instituut
language
inglise