Normal view
MARC view
Farinas (Personal Name)
Machine generated authority record
Work cat.: (OSt)1528405: Farinas, Intensional Logics for Programming, 2023