Showing 1 - 1 results of 1 for search 'Gabriel Scherer', query time: 0.02s
Refine Results
-
1
On Irrelevance and Algorithmic Equality in Predicative Type Theory by Andreas Abel, Gabriel Scherer
Published 2012-03-01
Article