Journal of the ACM, ‎0004-5411

Journal

Publications

  1. Published

    Bar induction is compatible with constructive type theory

    Vincent Rahli, , & , 26 Apr 2019, In: Journal of the ACM. 66, 2, p. 13:1-13:35

    Research output: Contribution to journalArticlepeer-review