Formalising Mathematics In Simple Type Theory.

Lawrence C. Paulson

Published in: CoRR (2018)

Keyphrases

computer algebra
lower bound
highly reliable
information systems
case study
evolutionary algorithm
mobile robot
simple examples
formal logic