Dr Bunder received his PhD with a dissertation titled, ‘Set Theory Based on Combinatory Logic’ from the University of Amsterdam in 1969. He was appointed to the then Wollongong University College, as a postdoctoral fellow in 1969 and to a lectureship later that year. Dr Bunder attained his chair by promotion and is a former Dean Field of Study: Combinatory logic and lambda calculus, in particular as a foundation of logic and mathematics. Systems of type theory including simple types, intersection types and pure type systems. Also the relations between these and illative combinatory logic. Nonclassical logics and proof generating algorithms for these. BCK and BCI algebras and their relations with logics. Elementary Number Theory - in particular properties of certain integer sequences
No subject area
Child's addition in the Stern-Rocot tree (with Bruce Bates and Keith Tognetti), Faculty of Informatics - Papers (2012)
We use child's addition and cross-differencing to discover significant relationships for diagonals, paths and branches...
The Probability of an Out of Control Signal from Nelson’s Supplementary Zig-Zag Test (with David Griffiths, Chandra Gulati, and Takeo Onzawa), Centre for Statistical & Survey Methodology Working Paper Series (2010)
Nelson’s ’supplementary runs’ tests are widely used to augment the standard ’out of control’ test...
Proof-finding algorithms for classical and subclassical propositional logics (with Ramzy M. Rizkalla), Notre Dame Journal of Formal Logic (2009)
The formulas-as-types isomorphism tells us that every proof and theorem, in the intuitionistic implicational logic...
The inhabitation problem for intersection types, Faculty of Informatics - Papers (2008)
In the system lambda ^ of intersection types, without w, the problem as to whether...