title
21st International Conference on Types for Proofs and Programs TYPES 2015 : Tallinn, Estonia, 18–21 May 2015 : Abstracts
publisher
Institute of Cybernetics at Tallinn University of Technology
publishing year
2015
identifier
https://digikogu.taltech.ee/et/Item/86dad8ce-b94e-4413-8ffc-73c9a445c591
https://doi.org/10.23658/taltech.types/2015
ISBN 9789949430871 (pdf)
language
rights
http://rightsstatements.org/vocab/InC/1.0/