Normal view
MARC view
Théorie des types (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA)656683: Logics and type systems in theory and practice :