Bernhard Reus

Bernhard Reus

2 ספרים במאגר

ספרים

Types for proofs and programsBernhard Reus

Types for proofs and programs

Bernhard Reus · 1999

Limits of ComputationBernhard Reus

Limits of Computation

Bernhard Reus · 2016