output
20082026
most citedNovel approach for ranking DEMs: Copernicus DEM improves one arc second open global topography

79 citations

researchers with a paper here
collaborating institutions
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A Machine-checked Proof of Consistency for Impredicative Pure Type Systems

Sebastián Urciuoli

In this paper we continue assessing the feasibility of the approach to the mechanization of type theory by using classical syntax and Stoughton's multiple substitutions and report…