oi Vivek, obrigada pela dica. eu acho que devo ter lido sim, pois em 2008 eu andei lendo tudo que consegui sobre logica modal pra "security", inclusive a tese to Deepak, mas nao me lembro desse. vou dar uma olhada! abs, Valeria
2012/9/13 Vivek Nigam <[email protected]> > Olá Valéria, > > Provavelmente você já conhece este artigo > > D. Garg and F. Pfenning. Non-interference in constructive authorization > logic. In CSFW, pages 283–296. IEEE Computer Society, 2006. > > Deepak e Frank dão justificativas para o uso de sistemas construtivos > diferentes do Curry-Howard. Na minha opinião as justificativas dadas por > eles > me parecem mais "sellable" para um público fora da comunidade da lógica, > por exemplo, para o pessoal de segurança. > > Abraços, > > Vivek > > > > Existe um outro > > > 2012/9/13 Valeria de Paiva <[email protected]> > >> Obrigada pelo plug-in Joao Marcos! >> >> O meu blog 'e tao sem trafico que ate mesmo eu, quando quero acha-lo, >> tenho >> dificuldade... >> dai que eu tendo a usa-lo como notas pra mim mesma, coisas que nao quero >> esquecer e >> que nao me importo que sejam vistas por outors. >> >> mas na verdade, acho bem bom que sejam vistas por outros sim, pois quem >> sabe assim fazemos progresso nalgumas dessas questoes... >> >> abracos construtivos, >> Valeria >> >> On Mon, Sep 10, 2012 at 8:35 PM, Joao Marcos <[email protected]> wrote: >> >> > apud Valeria: >> > >> > >> http://logic-forall.blogspot.com.br/2012/09/why-constructive-modal-logics.html >> > >> > >> > jm >> > _______________________________________________ >> > Logica-l mailing list >> > [email protected] >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> >> >> >> -- >> Valeria de Paiva >> http://www.cs.bham.ac.uk/~vdp/ >> http://valeriadepaiva.org/www/ >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
