science.types (thread)

[TYPES/announce] [SANET 2008] Call for Paper - Deadline is today, Michael Hauspie
Object-oriented calculi, Daniel Yokomizo
- Re: Object-oriented calculi, Daniel Yokomizo
  - Re: Object-oriented calculi, David Teller
- Re: Object-oriented calculi, Carl Eastlund
Paper announcement, Felice Cardone
focusing on binding and computation, Robert Harper
[TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008), Santiago Escobar
[TYPES/announce] Position opening at the University of Bologna, Andrea Asperti