ManagementProject ManagementDocumentationInformation RetrievalDocument AnalysisDocument ManagementEmploymentProgress ReportingScientific ProgressScope Of WorkWork In Progress Ontology
A description of the problems I am working on and an index to the documents in which that work is progressing.
1
A formulation of the simple theory of types
Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations