Sciweavers

10271 search results - page 11 / 2055
» Computer Science
Sort
View
160
Voted
TLCA
2005
Springer
16 years 27 days ago
Reducibility and TT-Lifting for Computation Types
Sam Lindley, Ian Stark