Articles with public access mandates - Uday ReddyLearn more
Available somewhere: 4
Bisimulation as a logical relation
C Hermida, U Reddy, E Robinson, A Santamaria
Mathematical Structures in Computer Science 32 (4), 442-471, 2022
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Deriving Logical Relations from Interpretations of Predicate Logic
C Hermida, US Reddy, EP Robinson
Electronic Notes in Theoretical Computer Science 347, 241-259, 2019
Mandates: UK Engineering and Physical Sciences Research Council
Deriving Logical Relations from Interpretations of Predicate Logic
E Robinson, C Hermida, U Reddy
Electronic Notes in Theoretical Computer Science, 2019
Mandates: UK Engineering and Physical Sciences Research Council
View metadata, citation and similar papers at core. ac. uk
OSP SÃO PESQUISADORES, EOSL SÃO PARCEIROS
Signo y Seña, 63-77, 2016
Mandates: UK Economic and Social Research Council, European Commission, Government of …
Publication and funding information is determined automatically by a computer program