Johannes Åman Pohjola | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Tjark Weber
3 publications
Arve Gengelbach
2 publications

research

∙ 01/11/2021

Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading

Definitions of new symbols merely abbreviate expressions in logical fram...

0 Arve Gengelbach, et al. ∙

research

∙ 02/24/2020

A Mechanised Semantics for HOL with Ad-hoc Overloading

Isabelle/HOL augments classical higher-order logic with ad-hoc overloadi...

0 Johannes Åman Pohjola, et al. ∙

research

∙ 09/14/2019

Psi-Calculi Revisited: Connectivity and Compositionality

Psi-calculi is a parametric framework for process calculi similar to pop...

0 Johannes Åman Pohjola, et al. ∙