Skip to content
24th International Conference on Types for Proofs and Programs,TYPES 2018

24th International Conference on Types for Proofs and Programs,TYPES 2018

Braga, Portugal, 18-21 June 2018

  • TYPES 2018
    • About Conference
    • Call for Contributions
    • Poster
    • Photos
    • Programme Committee
    • Organization
    • Contact
  • Invited Talks
  • Contributed Talks
  • Registration
  • Programme
    • Accepted Papers
    • Book of Abstracts
    • Conference Programme
    • Social Programme
  • Venue
  • Practical
    • Accommodation
    • Getting to Braga
    • About Braga
    • Braga Experiences
  • Post-proceedings

Book of Abstracts

Download (PDF, 5.35MB)

Proudly powered by WordPress