Options
Title
24th International Conference on Types for Proofs and Programs, TYPES 2018. Abstracts
Title Supplement
Braga, Portugal, 18 June - 21 June 2018
Person Involved
Corporate Author
Univ. of Minho
Publisher
Publishing Place
Braga
Publication Date
2018