Simplifying Deep Embedding: A Formalised Code Generator

• Authors:

• Ralf Reetz;Thomas Kropf

• Affiliations:

• -;-

• Venue:
• Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications
• Year:
• 1994