The HOL Logic Extended with Quantification over Type Variables

Míreanna comhchosúla

• The HOL Logic Extended with Quantification over Type Variables
  de réir: Melham, T
  Foilsithe / Cruthaithe: (1993)
• The HOL string Library
  de réir: Melham, T
  Foilsithe / Cruthaithe: (1991)
• The HOL sets Library
  de réir: Melham, T
  Foilsithe / Cruthaithe: (1991)
• The HOL pred_sets Library
  de réir: Melham, T
  Foilsithe / Cruthaithe: (1992)
• The HOL finite_sets Library
  de réir: Melham, T
  Foilsithe / Cruthaithe: (1992)