[Flirts] RE: Curry-Howard isomorphism for Institutions

[José Luiz Fiadeiro]

On 11 Aug 2005, at 00:00, <Valeria.dePaiva at parc.com>  
<Valeria.dePaiva at parc.com> wrote:

> But maybe I missed one referent in this discussion: I thought that  
> Till was referring to the programme
> Of adding proofs to institutions in the restricted setting of a  
> proposed research paper that
> we were trying to write. I'm afraid I didn't even know about the  
> FLIRTS programme.
> So I read it all in the very restricted setting above.

I'm afraid that I may be the one who is missing the referent...  One  
the one hand, I don't know about the research paper that you mention;  
on the other hand, my reference to the "FLIRTS programme" is rather  
loose.

I should then rephrase my remarks to mean that I can only understand  
a programme of "adding proofs to institutions" within Specification  
Theory, not within Logic.


Apologies again

José




JOSE LUIZ FIADEIRO
Professor of Software Science and Engineering

http://www.fiadeiro.org/jose
Mob: +44 779 124 7816
Skype: jfiadeiro

Department of Computer Science
University of Leicester
Leicester LE1 7RH
United Kingdom
Tel: +44 116 252 3907
Fax: +44 116 252 3915
http://www.cs.le.ac.uk/