Henrik Persson

Valuations and Dedekind's Prague Theorem

T. Coquand, Henrik Persson, 2001 .

An Integrated Development of Buchberger's Algorithm in Coq

Henrik Persson, Henrik Persson, 2001 .

An Application of the Constructive Spectrum of a Ring

Henrik Persson, 2022 .

Integrated Development of Algebra in Type

Henrik Persson, TheoryThierry Coquand, Henrik Persson, 1998 .