10th International Conference on Intelligent Computer Mathematics (CICM) Conference

Scholarly Activity

related documents

Theory Morphisms in Church’s Type Theory with Quotation and Evaluation Conferences