The Coq mailing list

[Venanzio Capretta <Venanzio.Capretta AT sophia.inria.fr>]

Dear Amy,
  there are several classic works about this. In the first Chapter of my
PhD thesis I tried to argue in favour of constructive mathematics for
computer formalizations. You can find some of the relevant literature
there too. My thesis is on my web page: 

http://www-sop.inria.fr/lemme/Venanzio.Capretta/publications/thesis.pdf

Bye,
  Venanzio

Amy Felty wrote:
> 
>   Does anyone have any suggestions for readings that address the
>   following question?:
> 
>   "In what sense logics that are used in computer
>   science are more likeley to be intuitionistic, having
>   in mind that  classical logics have also been used.
>   What are the advantages and disadvangates of using
>   classical logic in computer science application?"
> 
> I am submitting this question for a Philosophy graduate student here at
> the University of Ottawa.  Please include her (Mehrnoosh Sadrzadeh, email:
> mehrnoosh_sadr AT yahoo.com)
>  in your replies.  Thank you very much.
> 
> Amy Felty
> 
> --------------------------------------------------------
> Bug reports: http://coq.inria.fr/bin/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club