Sciweavers

11345 search results - page 105 / 2269
» Foundations of Computer Science
Sort
View
94
Voted
TLCA
2005
Springer
15 years 8 months ago
Reducibility and TT-Lifting for Computation Types
Sam Lindley, Ian Stark