References

[Bowers et al.2000]

Bowers, A. F., C. Giraud-Carrier, and J. W. Lloyd: 2000, ‘Classification of Individuals with Complex Structure’. In: Proc. 17th International Conf. on Machine Learning. pp. 81–88, Morgan Kaufmann, San Francisco, CA.

[Bundy1983]

Bundy, A.: 1983, The Computer Modelling of Mathematical Reasoning. New York: Academic Press.

[Flach2000]

Flach, P. A.: 2000, ‘The use of functional and logic languages in machine learning’. In: M. Alpuente (ed.): Ninth International Workshop on Functional and Logic Programming (WFLP2000). pp. 225–237, Universidad Politecnica de Valencia. Invited talk.

[Floyd and Beigel1994]

Floyd, R. W. and R. Beigel: 1994, The Language of Machines. Freeman.

[Girard1987]

Girard, J.-Y.: 1987, Proof Theory and Logical Complexity, Vol. 1. Bibliopolis.

[Kearns and Vazirani1994]

Kearns, M. J. and U. V. Vazirani: 1994, An Introduction to Computational Learning Theory. Cambridge, Massachusetts: The MIT Press.

[Meijer and Hutton1995]

Meijer, E. and G. Hutton: 1995, ‘Bananas in space: extending fold and unfold to exponential types’. In: Functional Programming & Computer Architecture. San Diego, US.

[Mitchell1996]

Mitchell, T. M.: 1996, Machine learning. New York, US: McGraw Hill.

[Mottl2002]

Mottl, M.: 2002, ‘Modelling Large Datasets Using Algebraic Datatypes: A Case Study of the CONFMAN Database’. Technical Report 2002-27, Austrian Research Institute for Artificial Intelligence.

[Quinlan1986]

Quinlan, J. R.: 1986, ‘Induction of decision trees’. Machine Learning 1(1), 81–106. QUINLAN86.

[Quinlan1992]

Quinlan, J. R.: 1992, C4.5: Programs for Machine Learning. Morgan Kaufmann.

[Shannon and Weaver1949]

Shannon, C. E. and W. Weaver: 1949, A Mathematical Theory of Communication. Urbana, Illinois: University of Illinois Press.  
The classic introduction to Shannon’s information theory, which generalizes Boltzman’s measure of thermodynamic entropy S.

[Stenlund1972]

Stenlund, S.: 1972, Combinators, Lambda-Terms and Proof Theory. Dordrecht: D. Reidel.

[Taylor1999]

Taylor, P.: 1999, Practical Foundations of Mathematics. Cambridge: Cambride University Press.

[Winskel1993]

Winskel, G.: 1993, The Formal Semantics of Programming Languages: An Introduction., Foundations of Computing series. MIT Press.