science.types (thread)

[TYPES/announce] 10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement), Peter Schuster
[TYPES/announce] Call for Papers TYPES 2007 - deadline extension, Marino Miculan
Re: Encoding of Negation, Eike Ritter
[TYPES/announce] CfP: 3WFTop proceedings, Peter Schuster

News | FAQ | advertise