21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Download

Downloaded 1019 times

Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library and University of Tartu Library

Available in the network of the National Library of Estonia

Available in public network

PDF

Download

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Technical data

Publisher:
Institute of Cybernetics at Tallinn University of Technology
Published:
Language:
English
Depositor:
Eesti Rahvusraamatukogu
User Note:
http://cs.ioc.ee/types15/abstracts-book/abstracts.pdf
Type:
book
Copyrighted
ESTER
b44842685
ISBN
978-9949-430-87-1 (pdf)

URL: http://www.digar.ee/id/nlib-digar:250381

Keywords

SEE ALSO