Nipkow, Tobias

Nipkow, Tobias
All Links

Share this:

Details of Nipkow, Tobias

About Nipkow, Tobias
Nipkow, Tobias- Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
I