Documents Related by Co-Citation

239 Computable Analysis – K Weihrauch - 2000
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
413 Vulnerabilities Analysis – Matt Bishop - 1999
1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
845 Theory of recursive functions and effective computability – Hartley Rogers - 1967
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
703 Introduction to Metamathematics – S Kleene - 1952