TYPES 2015

21st International Conference on Types for Proofs and Programs, TYPES 2015
held in the House of the Brotherhood of the Blackheads in Tallinn from 18 till 21 May 2015

Language preference

Album info

Popular tags