Intensional Logics for Programming
Farinas
Intensional Logics for Programming - Oxford University PressOxford University Press 2023
9781383026146
EBOOK
Intensional Logics for Programming - Oxford University PressOxford University Press 2023
9781383026146
EBOOK
