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 > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
