Author

Alexander

h-index 1 View on Semantic Scholar

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

From Dependent Type Theory to Dependently Typed Higher Order Logic (Technical Report)

A translation from a fragment of DTT to polymorphic DHOL is introduced, preserving constructs such as polymorphism and dependent types and suggesting that the translation could be used in a hammer system.

Luca Maio, Alexander, Bentkamp et al. · 0 citations