science.types (thread)

Kothe space models of Haghverdi combinators?, Meredith Gregory
[TYPES/announce] CfParticipation: Scheme and FP 2007, Danny Dubé
Re: [Fwd: Re: Encoding of negation], Philip Wadler
- Re: Encoding of negation, Vladimir Komendantsky
  - Re: Encoding of negation, Philip Wadler
  - Re: Encoding of negation, Peter Selinger
Encoding of negation, Philip Wadler
- Re: Encoding of negation, Carter Tazio Schonwald
- Re: Encoding of negation, Burak Emir
- Re: Encoding of negation, Philip Wadler
- Re: Encoding of negation, Vladimir Komendantsky
  - Re: Encoding of negation, Rowan Davies
  - Re: Encoding of negation, Peter Selinger
implementations of fj (Featherweight Java), Bahman Sistany
- Re: implementations of fj (Featherweight Java), Matthias Felleisen
- Re: implementations of fj (Featherweight Java), Bahman Sistany
[TYPES/announce] CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07), Demis