Documents Related by Co-Citation

846 Introduction to metamathematics – S C Kleene - 1952
516 Domain Theory – Samson Abramsky, Achim Jung - 1994
1473 On computable numbers, with an application to the entscheidungsproblem – A M Turing - 1936
1436 Monads for functional programming – Philip Wadler - 1995
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
863 Fractals everywhere – M F Barnsley - 1993
1907 Functional Analysis – Walter Rudin - 1973
688 Lattice Theory – G Birkhoff - 1967
1148 Interval Analysis – R E Moore - 1966