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

Research Output 2014 2019

  • 2 Conference contribution book
  • 1 Paper
  • 1 Article
Filter
Paper
2018
48 Downloads (Pure)

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018. 30 p.

Research output: Contribution to conferencePaper

Open Access
File
Computer programming languages
Semantics
Substitution reactions
Binders
Printing