Bernhard Reus

Identifiers

Open LibraryOL7882198A

Top Subjects

Computer science, mathematics (1)
Computer programming (1)

Books by Bernhard Reus

Total count: 2

Types for Proofs and ProgramsInternational Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Springer London, Limited2003-01-01
Limits of ComputationFrom a Programming Perspective

Springer London, Limited2016-01-01