Sciweavers

13306 search results - page 7 / 2662
» Theoretical 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