Fritz Müller

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
On confluence and semantic full abstraction of lambda calculus languages.
PhD thesis, 2016

2011
On Berry's conjectures about the stable order in PCF
Logical Methods in Computer Science, 2011

1992
Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting.
Inf. Process. Lett., 1992

1988
Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Complied Graph Reduction on a Processor Network.
Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988

1984
Ein konstruktives Typsystem für funktionale Programmiersprachen.
Proceedings of the Programmiersprachen und Programmentwicklung, 1984


  Loading...