21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]

variantpealkiri
21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]
toimetaja
vastutusandmed
Edited by Tarmo Uustalu ; with Preface
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
ilmumisaasta
leheküljed
xii, [250] p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 69
konverentsi nimetus, aeg
21st International Conference on Types for Proofs and Programs, 18-21 May, 2015
konverentsi toimumispaik
Tallinn, Estonia
ISBN
978-3-95977-030-9
ISSN
1868-8969
märkused
Includes bibliogr
TTÜ struktuuriüksus
keel
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). http://doi.org/10.4230/lipics.types.2015.0 http://www.dagstuhl.de/dagpub/978-3-95977-030-9