Propositional Lax Logic (1997)

View PDF

Download Links

by Matt Fairtlough , Michael Mendler
Citations:66 - 8 self

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
56 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
378 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
669 Light Linear Logic – Jean-yves Girard
470 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
754 An Introduction to Modal Logic – G E Hughes, M J Cresswell - 1968
1177 Temporal and modal logic – E. Allen Emerson - 1995