We stand with Ukraine  

Fritz Müller

Affiliations:
  • Saarland University, Department of Computer Schience, Saarbrücken, Germany


According to our database1, Fritz Müller authored at least 9 papers between 1984 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Intensional Constructed Numbers: Towards Formalizing the Notion of Algorithm.
[BibTeX]
[DOI]
Fritz Müller
CoRR, 2017

2016
On confluence and semantic full abstraction of lambda calculus languages.
[BibTeX]
[DOI]
Fritz Müller
PhD thesis, 2016

From Sazonov's Non-Dcpo Natural Domains to Closed Directed-Lub Partial Orders.
[BibTeX]
[DOI]
Fritz Müller
CoRR, 2016

2011
On Berry's conjectures about the stable order in PCF
[BibTeX]
[DOI]
Fritz Müller
Log. Methods Comput. Sci., 2011

2008
Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional
[BibTeX]
[DOI]
Fritz Müller
CoRR, 2008

1992
Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.
[BibTeX]
[DOI]
Fritz Müller
Inf. Process. Lett., 1992

1988
Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren.
[BibTeX]
[DOI]
M. Baston
,
H.-J. Bach
,
A. Lucks-Baus
,
Fritz Müller
,
Reinhard Wilhelm
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Complied Graph Reduction on a Processor Network.
[BibTeX]
[DOI]
Martin Raber
,
Thomas Remmel
,
Erwin Hoffmann
,
Dieter Maurer
,
Fritz Müller
,
Hans-Georg Oberhauser
,
Reinhard Wilhelm
Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988

1984
Ein konstruktives Typsystem für funktionale Programmiersprachen.
[BibTeX]
[DOI]
Fritz Müller
Proceedings of the Programmiersprachen und Programmentwicklung, 1984


  Loading...