science.types (thread)

[TYPES/announce] CFP: LFMTP'07, Brigitte Pientka
available JVM implementations, Davide Ancona
- Re: available JVM implementations, Aaron Gray
TLCA List of Open Problems, Pawel Urzyczyn
FINAL CFP: 9th Intl Workshop on Logic & Computational Complexity, James S. Royer
Co-algebraic semantics of typed lambda-calculus, Jacques Carette

News | FAQ | advertise