• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Hauptwerk
  4. 24th International Conference on Types for Proofs and Programs, TYPES 2018. Abstracts
 
  • Details
  • Publications
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
University of Minho  
Publishing Place
Braga
Publication Date
2018
Conference
International Conference on Types for Proofs and Programs (TYPES) 2018  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024