Sciweavers

ITP
2010

Inductive Consequences in the Calculus of Constructions

14 years 4 months ago
Inductive Consequences in the Calculus of Constructions
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where ITP
Authors Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Comments (0)