2005 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Aug 9 19:20:20 CEST 2005
Ending: Mon Dec 19 22:36:07 CEST 2005
Messages: 52

• [Flirts] An institution of higher-order intuitionistic logic   Till Mossakowski
• [Flirts] Curry-Howard for more complex logics   Till Mossakowski
• [Flirts] Curry-Howard for more complex logics   Valeria.dePaiva at parc.com
• [Flirts] Curry-Howard for more complex logics   Till Mossakowski
• [Flirts] Curry-Howard for more complex logics   Valeria.dePaiva at parc.com
• [Flirts] Curry-Howard for more complex logics   Till Mossakowski
• [Flirts] Curry-Howard for more complex logics   Valeria.dePaiva at parc.com
• [Flirts] Curry-Howard for more complex logics   Lawrence Paulson
• [Flirts] Curry-Howard for more complex logics   Joseph Goguen
• [Flirts] Curry-Howard for more complex logics   Valeria.dePaiva at parc.com
• [Flirts] Curry-Howard for more complex logics   Valeria.dePaiva at parc.com
• [Flirts] Curry-Howard for more complex logics   Joseph Goguen
• [Flirts] Flirts meeting (with concert) in September or October?   Till Mossakowski
• [Flirts] Flirts meeting (with concert) in September or October?   Till Mossakowski
• [Flirts] Flirts meeting (with concert) in September or October?   Till Mossakowski
• [Flirts] Flirts meeting (with concert) in September or October?   Till Mossakowski
• [Flirts] Flirts meeting (with concert) in September or October?   Till Mossakowski
• [Flirts] Flirts meeting (with concert) in September or October?   Till Mossakowski
• [Flirts] FLIRTS meeting: two new talks   Till Mossakowski
• [Flirts] institutional formulation of Curry-Howard   Joseph Goguen
• [Flirts] institutional formulation of Curry-Howard   Joseph Goguen
• [Flirts] Institutions for propositional categorical logics   Till Mossakowski
• [Flirts] Lawvere/cat institutions (was Re: Your paper Proof)   Till Mossakowski
• [Flirts] Lisbon positions in quantum computation, information and logic   Amílcar Sernadas
• [Flirts] Power institution comorphisms (was: a small doubt)   Till Mossakowski
• [Flirts] Power institution comorphisms (was: a small doubt)   Uwe Wolter
• [Flirts] Program of the FLIRTS meeting in Bremen   Till Mossakowski
• [Flirts] Re: Curry-Howard isomorphism for Institutions   Till Mossakowski
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Till Mossakowski
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Till Mossakowski
• [Flirts] RE: Curry-Howard isomorphism for Institutions   José Luiz Fiadeiro
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com
• [Flirts] RE: Curry-Howard isomorphism for Institutions   José Luiz Fiadeiro
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] RE: Curry-Howard isomorphism for Institutions   José Luiz Fiadeiro
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Till Mossakowski
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Till Mossakowski
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] RE: Curry-Howard isomorphism for Institutions   Joseph Goguen
• [Flirts] Re: Power institution comorphisms   Carlos Caleiro
• [Flirts] Re: Power institution comorphisms   Till Mossakowski
• [Flirts] Slides of FLIRST 2005 talks   Till Mossakowski
• FW: [Flirts] RE: Curry-Howard isomorphism for Institutions   Valeria.dePaiva at parc.com

Last message date: Mon Dec 19 22:36:07 CEST 2005
Archived on: Mon Dec 19 22:37:27 CEST 2005

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...