This article is ratedStart-class on Wikipedia'scontent assessment scale. It is of interest to the followingWikiProjects:

MathematicsLow‑priority This article is within the scope ofWikiProject Mathematics, a collaborative effort to improve the coverage ofmathematics on Wikipedia. If you would like to participate, please visit the project page, where you can jointhe discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics Low This article has been rated asLow-priority on theproject's priority scale. Computer scienceMid‑importance This article is within the scope ofWikiProject Computer science, a collaborative effort to improve the coverage ofComputer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can jointhe discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science Mid This article has been rated asMid-importance on theproject's importance scale. Things you can helpWikiProject Computer science with: Here are some tasks awaiting attention: Article requests : Requested articles/Applied arts and sciences/Computer science, computing, and Internet Cleanup : Computer science articles needing attention Computer science articles needing expert attention Copyedit : Computing Expand : Computer science Infobox : Computer science articles without infoboxes Maintain : Timeline of computing 2020–present Photo : Find pictures for the biographies of computer scientists (seeList of computer scientists) Computing articles needing images Stubs : Computer science stubs Unreferenced : WikiProject Computer science/Unreferenced BLPs Project-related : Tag all relevant articles inCategory:Computer science and sub-categories with{{WikiProject Computer science}}

To-do list forFunction type:edit · history · watch · refresh · Updated 2011-05-02 Here are some tasks awaiting attention: Expand : *Category theory,Domain theory,Set theory

This article is completely missing a definition of what a function type actually is! Someone should copy content over from the ncatlab page and/or from the HoTT book to here. (Note the HoTT book appears to be in a git repo!)99.153.64.179 (talk)18:28, 26 June 2013 (UTC)[reply]

• Start-Class mathematics articles
• Low-priority mathematics articles
• Start-Class Computer science articles
• Mid-importance Computer science articles
• WikiProject Computer science articles
• Wikipedia pages with to-do lists