TY  - RPRT
TI  - A Mechanised Semantics for HOL with Ad-hoc Overloading
AU  - Johannes Åman Pohjola
AU  - Arve Gengelbach
PY  - 2020
DO  - 10.29007/413d
UR  - https://arxiv.org/abs/2002.10212
ID  - 2002.10212
ER  -