Matthias Mann

Affiliations:

According to our database¹, Matthias Mann authored at least 3 papers between 2004 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi.

[BibT_eX]

[DOI]

Inf. Comput., 2010

2005

A non-deterministic call-by-need lambda calculus: proving similarity a precongruence by an extension of Howe's method to sharing.

[BibT_eX]

[DOI]

PhD thesis, 2005

2004

Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Structural Operational Semantics, 2004