Equality checking for dependent type theories

  • Version
  • Download 58
  • File Size 280.50 KB
  • File Count 1
  • Create Date 8 June 2021
  • Last Updated 8 June 2021

Equality checking for dependent type theories

Andrej Bauer and Anja Petković

Leave a Comment

Your email address will not be published. Required fields are marked *