output
20132025
most citedDedukti: a Logical Framework based on the -Calculus Modulo Theory

6 citations

Showing math.OCShow all

2 papers · 1 filter