Sciweavers

TLCA
2005
Springer

Reducibility and TT-Lifting for Computation Types

14 years 4 months ago
Reducibility and TT-Lifting for Computation Types
Sam Lindley, Ian Stark
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TLCA
Authors Sam Lindley, Ian Stark
Comments (0)