Showing 1 - 1 results of 1 for search 'Anja Petković Komel', query time: 0.02s
Refine Results
-
1
An extensible equality checking algorithm for dependent type theories by Andrej Bauer, Anja Petković Komel
Published 2022-01-01
Article