|
51
|
Computational Types from a Logical Perspective I
– P.N. Benton, G.M. Bierman, V.C.V. de Paiva
- 1995
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
143
|
A Judgmental Reconstruction of Modal Logic
– Frank Pfenning, Rowan Davies
- 1999
|
|
315
|
A Calculus for Access Control in Distributed Systems
– M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner
- 1991
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
117
|
On the meanings of the logical constants and the justifications of the logical laws
– Per Martin-Löf
- 1996
|
|
100
|
a logic-based security language
– Binder
- 2002
|
|
176
|
Delegation Logic: A Logic-based Approach to Distributed Authorization
– Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
- 2000
|
|
161
|
Proof-Carrying Authentication
– Andrew W. Appel, Edward W. Felten
- 1999
|
|
37
|
Access Control for the Web via Proof-Carrying Authorization
– Ljudevit Bauer
- 2003
|
|
52
|
Access control in a core calculus of dependency
– M Abadi
|
|
201
|
A Core Calculus of Dependency
– Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
15
|
Categorical and Kripke Semantics for Constructive S4 Modal Logic
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
61
|
Distributed proving in access-control systems
– Lujo Bauer, Scott Garriss, Michael K. Reiter
- 2005
|
|
75
|
Logic in Access Control
– Martίn Abadi
- 2003
|
|
18
|
Constructive modal logics I
– Duminda Wijesekera
- 1990
|
|
55
|
Device-Enabled Authorization in the Grey System
– Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar
- 2005
|
|
117
|
Primitive Recursion for Higher-Order Abstract Syntax
– Joëlle Despeyroux, Frank Pfenning
- 1997
|
|
12
|
First-order Lax Logic as a Framework for Constraint Logic Programming
– Matt Fairtlough , Michael Mendler, Matt Walton
- 1997
|
