You may have been redirected here because Monash University
closed down the
www.cs.monash.edu.au and
www.csse.monash.edu.au web-servers in 2014, and the
users.monash.edu.au web-server in 2024.
You can probably find what you are looking for here
including
Publications,
Bibliography,
Bioinformatics, Algorithms and Data-Structures,
Minimum Message Length (MML) inference, Programming Languages
(inc. Functional Programming (FP) and lambda calculus),
Logic, Prolog, and
Semantics.