Documents Related by Co-Citation

469 Interactive Theorem Proving and Program Development – Y Bertot, P Castéran - 2004
729 L.C.: Isabelle/Hol: a Proof Assistant for Higher-Order Logic – T Nipkow, Paulson - 2004
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
706 Types and Programming Languages – B C Pierce - 2002
540 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1278 Tarski Grothendieck Set Theory – Andrzej Trybulec - 1989
938 A theory of type polymorphism in programming – Robin Milner - 1978
457 Domain Theory – Samson Abramsky, Achim Jung - 1994
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989