Skip to content. | Skip to navigation
Third International Workshop on Behavioural Types
Navigation
The proceedings of BEAT 2014 are Volume 162 of Electronic Proceedings in Theoretical Computer Science (EPTCS).