“Dependent polynomial functor”的意思、由来-开放百科全书

词条	Dependent polynomial functor
释义	SeeContainer (type theory)Indexed containers
随便看	List of books for children by J. M. G. Le Clézio List of Books for Children by J. M. G. Le Clézio List of books for the "Famous Scots Series" List of books from the Richard & Judy Book Club List of bookshop chains List of bookshops List of books in the famous five series List of books of Lemony Snicket List of books referenced in the Bible List of books set in Toronto List of bookstores List of books with the subtitle "Constancy Rewarded" List of books with the subtitle "Virtue Rewarded" List of books written by children or teenagers List of books written by S.E. Hinton List of Boot Disks List of Border Conference football champions List of border conflicts List of borders List of borders by length List of border wars List of Bored to Death episodes List of Bored To Death episodes List of Born Rich characters List of Born Survivor episodes

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。