Edmund Robinson | DeepAI

DeepAI

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

Featured Co-authors

David Pym
6 publications
Alessio Santamaria
5 publications
Eike Ritter
1 publication
Claudio Hermida
1 publication
Uday Reddy
1 publication

research

∙ 02/17/2023

Categorical Proof-Theoretic Semantics

In proof-theoretic semantics, model-theoretic validity is replaced by pr...

0 David Pym, et al. ∙

research

∙ 03/30/2020

Bisimulation as a Logical Relation

We investigate how various forms of bisimulation can be characterised us...

0 Claudio Hermida, et al. ∙