On the Theory of Inductive Families

Studia Mathematica - Poland
doi 10.4064/sm-26-1-1-10
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Institute of Mathematics, Polish Academy of Sciences


Related search