Matthias Mann

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Goethe University Frankfurt, Frankfurt am Main, Germany (PHD)

Education History

Goethe University Frankfurt, Frankfurt am Main, Germany

PHD

Publications

Matthias Mann, Manfred Schmidt-Schauß
Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi. Inf. Comput. 208 (3) (2010)
Matthias Mann
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus. Electron. Notes Theor. Comput. Sci. 128 (1) (2005)