H ? « ‹ ← → › »

Language peer sets for DECLARE:
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

DECLARE(ID:3735/dec007)

alternate simple view
Designed 1997

Declarative proof system for simple higher order logic

DOnald Syme, Microsoft Research 1997
References:
  • Donald Syme (1997) Donald Syme "DECLARE: A Prototype Declarative Proof System for Higher Order Logic" January 1997 Abstract ps ps
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder