View of A Programming Language for the Inductive Sets, and Applications

Return to Article Details A Programming Language for the Inductive Sets, and Applications Download Download PDF