Intuitionistic Type Theory (2024)

1 points by janus