Intuitionistic Necessity Revisited (1996)

by G. M. Bierman , V.C.V. de Paiva
Venue:PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE
Citations:23 - 7 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
469 The formulae-as-types notion of construction – W Howard - 1980
197 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
449 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
56 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
669 Light Linear Logic – Jean-yves Girard
1353 Monads for functional programming – Philip Wadler - 1995
665 Modal Logic: An Introduction – B Chellas - 1980