Homotopy Type Theory: Programming and Verification

Ghani, Neil (Principal Investigator)
McBride, Conor (Co-investigator)

Project: Research

6 Conference contribution book
2 Article
2 Conference Contribution

2 results

Filter

2018
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 Sept 2018, In: Proceedings of the ACM on Programming Languages (PACMPL). 2, ICFP, p. 1-30 30 p., 90.
Research output: Contribution to journal › Conference Contribution › peer-review

Open Access
File
21 Citations (Scopus)

116 Downloads (Pure)
Everybody's got to be somewhere
McBride, C., 10 Jul 2018, In: Electronic Proceedings in Theoretical Computer Science. 275, p. 53-69 17 p.
Research output: Contribution to journal › Conference Contribution › peer-review

Open Access
File
11 Citations (Scopus)

109 Downloads (Pure)