Sciweavers

31686 search results - page 173 / 6338
» Resource typing in Guru
Sort
View
SIGECOM
2008
ACM
129views ECommerce» more  SIGECOM 2008»
15 years 7 months ago
Characterizing truthful mechanisms with convex type spaces
Aaron Archer, Robert Kleinberg
99
Voted
APAL
2005
76views more  APAL 2005»
15 years 7 months ago
Linear realizability and full completeness for typed lambda-calculi
Samson Abramsky, Marina Lenisa
113
Voted
TCS
2008
15 years 7 months ago
A type assignment system for game semantics
Pietro Di Gianantonio, Furio Honsell, Marina Lenis...