6,140 followers
#Publication - Game semantics and normalization by evaluation | We show that Hyland and Ong’s game semantics for P… https://t.co/lVDEdpKMdH
#Publication - Game semantics and normalization by evaluation | We show that Hyland and Ong’s game semantics for P… https://t.co/lVDEdpKMdH