Christoph Benzmueller

CB

Statistics

Publications

2

Citations

60

H-Index

2

Active since

2009

Affiliations

Christoph Benzmueller is an author at University of Cambridge specializing in mathematics, type theory, and computer science.

Publications per year

2009–2010

2

Publications

2