By Dr Johannes Aman Pohjola

Preprints

Pohjola JÅ; Gengelbach A, 2020, A Mechanised Semantics for HOL with Ad-hoc Overloading, http://dx.doi.org/10.29007/413d

Pohjola JÅ, 2019, Psi-Calculi Revisited: Connectivity and Compositionality, http://dx.doi.org/10.23638/LMCS-16(4:16)2020

Back to profile page