An example of algorithm development in Intuitionistic Type Theory

Ediciones (1)

• An example of algorithm development in Intuitionistic Type Theory (1987)

  Queen Mary College, Department of Computer Science and Statistics · inglés

Más obras de Steve Reeves

Building the Classic Physique

IImplementation of a theorem-prover based on semantic tableau

Implementation of a theorem-prover based on semantic tableaux

Logic for computer science