Programming Logic and Semantics

Research output

Research output per year 2009 2012 2013 2014 2015 2016 2017 2022

• 65 Article in proceedings
• 39 Journal article
• 23 Conference article
• 11 Book chapter
• 22 More
  • 9 Ph.D. thesis
  • 6 Report
  • 3 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