20152020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 5 Conference contribution
  • 3 Article
  • 1 Conference article
Filter
Conference article
2018

The RedPRL proof assistant (invited paper)

Angiuli, C., Cavallo, E., Favonia, K. B. H., Harper, R. & Sterling, J., Jul 3 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 274, p. 1-10 10 p.

Research output: Contribution to journalConference article

Open Access
2 Scopus citations