A formulation of the simple theory of types (for Isabelle)

• Authors:

• L. C. Paulson

• Affiliations:

• -

• Venue:
• COLOG-88 Proceedings of the international conference on Computer logic
• Year:
• 1990