A short proof of the Schröder-Simpson Theorem.

Jean Goubault-Larrecq

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

interactive theorem proving
distance transform
theorem prover
linear logic
hamilton jacobi
machine learning
markov chain
von neumann
intuitionistic logic