Reducibility and ⊤⊤-lifting for computation types (0)

by S Lindley, I Stark
Venue:in: Proc. TLCA’05 (2005