Safe Proof Checking in Type Theory with Y.

Herman Geuvers Erik Poll Jan Zwanenburg

Published in: CSL (1999)

Keyphrases

type checking
real time
image processing
theoretical framework
theoretical basis
multiscale
proof theory
data sets
databases
case study
mobile robot
theoretical foundation
theorem proving
formal theory
linear logic