Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
55 Locally cartesian closed categories and type – R A G Seely - 1984
59 Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 – J Cartmell - 1986
39 Fibred categories and the foundations of naive category theory – J Bénabou - 1985
23 Intuitionistic Necessity Revisited – G. M. Bierman, V.C.V. de Paiva - 1996
17 Substitution up to isomorphism – P-L Curien - 1993
61 Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi – Jean Gallier - 1992
214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
445 The formulae-as-types notion of construction – W A Howard - 1980
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
163 An abstract view of programming languages – E Moggi - 1989
35 Semantics of Local Variables – P.W. O'Hearn, R. D. Tennent - 1992
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
11 A constructive presentation for the modal connective of necessity – M R F Benevides, T S E Maibaum - 1992
122 Basic modal logic – R Bull, K Segerberg - 2001
262 Investigations into logical deduction – G Gentzen - 1969