Towards an Isabelle/HOL formalisation of core Erlang.

Joseph R. Harrison

Published in: Erlang Workshop (2017)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
information retrieval
first order logic
machine learning
cut elimination
higher order logic
knowledge base
case study
three dimensional
special case
software engineering