Sciweavers

33 search results - page 1 / 7
» itp 2010
Sort
View
ITP
2010
142views Mathematics» more  ITP 2010»
13 years 7 months ago
Inductive Consequences in the Calculus of Constructions
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz