Bernhard Reus

Bernhard Reus

2 books in the database

Books

Types for proofs and programsBernhard Reus

Types for proofs and programs

Bernhard Reus · 1999

Limits of ComputationBernhard Reus

Limits of Computation

Bernhard Reus · 2016