21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
Technical data
URL: http://www.digar.ee/id/nlib-digar:250381
Downloaded 1756 times
Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library, University of Tartu Library and Academic Library of Tallinn University
Available in the network of the National Library of Estonia
Available in public network
PDFURL: http://www.digar.ee/id/nlib-digar:250381