works on
bilateral logic 1higher-order logic 1propositions-as-types 1strong negation 1two-sided type systems 1

From the 1 of 4 linked papers with an AI index.

activity
20242026
most citedA Complementary Approach to Incorrectness Typing

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Bisimilarity in fresh-register automata

Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Register automata are a basic model of computation over infinite alphabets. Fresh-register automata extend register automata with the capability to generate fresh symbols in order…