Programming Logic and Semantics

Research output

Research output per year 2007 2012 2013 2014 2015 2016 2017 2018 2025

• 77 Article in proceedings
• 40 Journal article
• 26 Conference article
• 12 PhD thesis
• 26 More
  • 11 Book chapter
  • 7 Report
  • 4 Paper
  • 1 Book
  • 1 Conference abstract for conference
  • 1 Editorial
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2014

  Preface of Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014

  Carbone, M., 2014, In: Electronic Proceedings in Theoretical Computer Science. 162, 1 p.

  Research output: Journal Article or Conference Article in Journal › Editorial › peer-review