science.types (thread)

An efficient program for the function (mod 3) in type theories, Yong Luo
- Re: An efficient program for the function (mod 3) in type theories, Conor McBride
  - Re: An efficient program for the function (mod 3) in type theories, Yong Luo
    - Re: An efficient program for the function (mod 3) in type theories, Conor McBride
[TYPES/announce] UTP'07 at IFM: Unifying Theories of Programming, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA
[TYPES/announce] 9 research assistant positions available, Till Mossakowski
[TYPES/announce] ECOOP 2007 - CFC - 1 month, Erik Ernst
[TYPES/announce] ARES 2007 - Submission Deadline Extension: 30-11-2006 (firm deadline), Nguyen Manh Tho
[TYPES/announce] CfP: Special issue I&C on SOS, Rob van Glabbeek
[TYPES/announce] ARES 2007 - Call for papers and workshops papers - Submission Deadline approaches in 2 weeks: 19-11-2006, Nguyen Manh Tho