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

  • Authors:

  • Lawrence C. Paulson

  • Affiliations:

  • -

  • Venue:
  • COLOG '88 Proceedings of the International Conference on Computer Logic
  • Year:
  • 1988

Quantified Score

Hi-index 0.01

Visualization

Abstract