Telecharger Cours

Concurrent Hyland-Ong games - HAL

Building on this category, we construct the cartesian closed category Cho as having as objects the standard arenas of Hyland-Ong games, with ...



Download