Ein konstruktives Typsystem für funktionale Programmiersprachen. - Fritz Müller 001 (Fachtagung über Programmiersprachen, 1984)

Complied Graph Reduction on a Processor Network. - Martin Raber; Thomas Remmel; Erwin Hoffmann; Dieter Maurer; Fritz Müller 001; Hans-Georg Oberhauser; Reinhard Wilhelm (ARCS, 1988)

Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. - M. Baston; H.-J. Bach; A. Lucks-Baus; Fritz Müller 001; Reinhard Wilhelm (Innovative Informations-Infrastrukturen, 1988)

Confluence of the Lambda Calculus with Left-Linear Algebraic Rewriting. - Fritz Müller 001 (Inf. Process. Lett., 1992)

Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional - Fritz Müller 001 (CoRR, 2008)

On Berry's conjectures about the stable order in PCF - Fritz Müller 001 (Log. Methods Comput. Sci., 2011)

From Sazonov's Non-Dcpo Natural Domains to Closed Directed-Lub Partial Orders. - Fritz Müller 001 (CoRR, 2016)

On confluence and semantic full abstraction of lambda calculus languages. - Fritz Müller 001 (2016)

Intensional Constructed Numbers: Towards Formalizing the Notion of Algorithm. - Fritz Müller 001 (CoRR, 2017)