Sciweavers

APLAS
2001
ACM

Dynamic Control Operators in Type Theory

15 years 16 days ago
Dynamic Control Operators in Type Theory
Yukiyoshi Kameyama
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APLAS
Authors Yukiyoshi Kameyama
Comments (0)