science.types (date)

science.types (date)

May 30, 2008

[TYPES/announce] University of Oslo: PhD Position in Formal Methods. Application Deadline June 13!, Peter Csaba Ølveczky

May 29, 2008

[TYPES/announce] Funded PhD Student (GTA) positions, Roy L. Crole

May 28, 2008

\lambda 2 a subset of System F?, Edsko de Vries
Re: Historical question: origin of the ":" symbol, Ezra Cooper

May 27, 2008

Re: Historical question: origin of the ":" symbol, Uday S Reddy

May 26, 2008

Historical question: origin of the ":" symbol, Edsko de Vries

May 20, 2008

Re: SN for System F with countable universe of types?, Pierre Hyvernat
Re: Y-combinator in Type:Type?, Thorsten Altenkirch
[TYPES/announce] EXPRESS'08: call for papers, Daniele Gorla
Re: Y-combinator in Type:Type?, Jonathan P. Seldin

May 19, 2008

Re: Y-combinator in Type:Type?, Thorsten Altenkirch
SN for System F with countable universe of types?, Andreas Abel
Re: Y-combinator in Type:Type?, Edsko de Vries

May 16, 2008

Re: Y-combinator in Type:Type?, Andreas Abel
Re: Y-combinator in Type:Type?, Thomas Streicher
Re: Y-combinator in Type:Type?, Francois Pottier
Re: Y-combinator in Type:Type?, Pierre Hyvernat
Re: Y-combinator in Type:Type?, Herman Geuvers
Re: Y-combinator in Type:Type?, Karl Crary
Y-combinator in Type:Type?, Edsko de Vries

News | FAQ | advertise