science.types (date)
<
Prev Period
]
[
Next Period
>
June 30, 2008
Confluence of combinatory strong reduction
,
Pierluigi Minari
[TYPES/announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)
,
Thorsten Altenkirch
June 28, 2008
Re: Universe Polymorphism
,
Thorsten Altenkirch
Re: the polymorphic lambda calculus - A related question concerning its uniformity
,
Andrei Popescu
Re: Universe Polymorphism
,
Stefan Holdermans
June 25, 2008
Re: Universe Polymorphism
,
Thorsten Altenkirch
Re: Universe Polymorphism
,
Xavier Leroy
June 24, 2008
Re: Universe Polymorphism
,
Sebastian Hanowski
June 23, 2008
Re: connectedness and acyclicity in IMLL proof nets
,
soloviev-KCLWzrSfvcA
Universe Polymorphism
,
Klaus Ostermann
[TYPES/announce] Deadline Extension: FAST, Formal Aspects of Security and Trust
,
Joshua D. Guttman
Re: connectedness and acyclicity in IMLL proof nets
,
Satoshi Matsuoka
June 20, 2008
connectedness and acyclicity in IMLL proof nets
,
Aurelien Pardon
[TYPES/announce] FAST 2008: Formal Aspects of Security and Trust
,
Joshua D. Guttman
June 11, 2008
Paper announcement: Intersection types à la Church
,
Luigi Liquori INRIA
June 10, 2008
Fwd: Revenue-neutral Adjustment for Functional Programming
,
Matthias Felleisen
June 06, 2008
Re: Question about the polymorphic lambda calculus
,
Herman Geuvers
June 05, 2008
Re: Question about the polymorphic lambda calculus
,
Samuel E. Moelius III
June 04, 2008
Re: Question about the polymorphic lambda calculus
,
Noam Zeilberger
Re: Question about the polymorphic lambda calculus
,
Miles Sabin
Re: Question about the polymorphic lambda calculus
,
Noam Zeilberger
June 03, 2008
Re: Question about the polymorphic lambda calculus
,
Samuel E. Moelius III
Re: Question about the polymorphic lambda calculus
,
Noam Zeilberger
Question about the polymorphic lambda calculus
,
Samuel E. Moelius III
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise