Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Select Publications

By Dr Johannes Aman Pohjola

Preprints

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

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


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-6406-7875

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation