Author:Arve Gengelbach

Publications
A Mechanised Semantics for HOL with Ad-hoc Overloading Johannes Åman Pohjola and Arve Gengelbach In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning