science.types (thread)

[TYPES/announce] University of Oslo: PhD Position in Formal Methods. Application Deadline June 13!, Peter Csaba Ølveczky
[TYPES/announce] Funded PhD Student (GTA) positions, Roy L. Crole
\lambda 2 a subset of System F?, Edsko de Vries
Historical question: origin of the ":" symbol, Edsko de Vries
- Re: Historical question: origin of the ":" symbol, Uday S Reddy
- Re: Historical question: origin of the ":" symbol, Ezra Cooper
[TYPES/announce] EXPRESS'08: call for papers, Daniele Gorla
SN for System F with countable universe of types?, Andreas Abel
- Re: SN for System F with countable universe of types?, Pierre Hyvernat
Y-combinator in Type:Type?, Edsko de Vries
- Re: Y-combinator in Type:Type?, Karl Crary
- Re: Y-combinator in Type:Type?, Herman Geuvers
- Re: Y-combinator in Type:Type?, Pierre Hyvernat
  - Re: Y-combinator in Type:Type?, Andreas Abel
- Re: Y-combinator in Type:Type?, Francois Pottier
- Re: Y-combinator in Type:Type?, Edsko de Vries
- Re: Y-combinator in Type:Type?, Thomas Streicher
  - Re: Y-combinator in Type:Type?, Thorsten Altenkirch
    - Re: Y-combinator in Type:Type?, Jonathan P. Seldin
    - Re: Y-combinator in Type:Type?, Thorsten Altenkirch