Sciweavers

10271 search results - page 11 / 2055
» Computer Science
Sort
View
90
Voted
TLCA
2005
Springer
15 years 7 months ago
Reducibility and TT-Lifting for Computation Types
Sam Lindley, Ian Stark