Categorical Methods in the Theory of Computation
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
The PI is continuing his work in the categorical foundations of the             theory of computation.  This work is based on recent technical advances         involving topos-theoretical models of computation.  Special emphasis is         being placed on exposing the intrinsic functorial semantics of these            models, the creation of new topos models, and the continued refinement          of a synthetic theory of computation.  Applications include                     classification and characterization of higher type functionals and new          approaches to computable analysis and effective semantics.                      The problems proposed are important ones lying at the interface between         category theory and computation theory.  There is a renewed interest,           both in the U.S. and internationally, in the use of category theory in          the foundations of computation.  This modest grant will indicate the            appropriation of certain categorical tools for the explication of the           foundations of computation.
{'FirstName': 'Philip', 'LastName': 'Mulry', 'PI_MID_INIT': 'S', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Philip S Mulry', 'EmailAddress': 'pmulry@mail.colgate.edu', 'NSF_ID': '000130490', 'StartDate': '07/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Colgate University', 'CityName': 'HAMILTON', 'ZipCode': '133461386', 'PhoneNumber': '3152287457', 'StreetAddress': '13 OAK DR', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '22', 'CONGRESS_DISTRICT_ORG': 'NY22', 'ORG_UEI_NUM': 'D4P7H8NWZER7', 'ORG_LGL_BUS_NAME': 'COLGATE UNIVERSITY', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2860', 'Text': 'THEORY OF COMPUTING'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8706333.xml'}