Documents Related by Co-Citation

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
282 Proof methods for modal and intuitionistic logics – M C Fitting - 1983
273 Investigations into logical deduction – Gerhard Gentzen - 1969
766 Notions of Computation and Monads – Eugenio Moggi - 1991
754 An Introduction to Modal Logic – G E Hughes, M J Cresswell - 1968
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
634 Compiling with Continuations – A Appel - 1992