Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

We present the first fully abstract normal form bisimulation for call-by-value PCF (PCFv). Our model is based on a labelled transition system (LTS) that combines elements from applicative bisimulation, environmental bisimulation and game semantics. In order to obtain completeness while avoiding the use of semantic quotienting, the LTS constructs traces corresponding to interactions with possible...

Gender-Focused Technology Design and Care Ethics Integration: Addressing Social and Practical Challenges

GlassBoost: A Lightweight and Explainable Classification Framework for Tabular Datasets

High-Performance THz Nanometamaterial Absorber With Negative Permittivity (0.1{textendash}10 THz) for Early Cancer Detection via Circulating Exosomes

Diagrams as Visual Knowledge Communication Tools in Interdisciplinary Postgraduate Education

Differentiating right upper limb movements of esports players who play different game genres

DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks for Image Analysis

DriVQA: A gaze-based dataset for visual question answering in driving scenarios

Employees’ Justice Perceptions and Trust in AI Systems for Performance Evaluation: Uncovering the Role of Gender and Culture

Evaluating Event-Based Vision Sensing in Rain and Fog