J
J. A. Bergstra
7 works on record
Works
Algebraic methods II
The history of information security
Handbook of process algebra
Algebraic methods
Algebraic specification
Handbook of network and system administration
Handbook of network and system administration
Computability and continuity in finite types
Computability and continuity in finite types