Steve Awodey

http://dbpedia.org/resource/Steve_Awodey an entity of type: Thing

Steven M. Awodey (/ˈaʊdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University. rdf:langString
Steven M. Awodey (1959) is een Amerikaans wiskundige en wiskundige filosoof. Hij is hoogleraar filosofie en wiskunde aan de Carnegie Mellon University. rdf:langString
rdf:langString Steve Awodey
rdf:langString Steve Awodey
rdf:langString Steve Awodey
rdf:langString Steve Awodey
xsd:date 1959-07-05
xsd:integer 26946267
xsd:integer 1060227652
rdf:langString Logic in Topoi: Functorial Semantics for Higher-Order Logic
xsd:integer 1997
xsd:date 1959-07-05
rdf:langString Steven M. Awodey
rdf:langString Awodey in 2011
rdf:langString Type theory of higher-dimensional categories
rdf:langString Model theory of higher-order logic using the methods of category theory
rdf:langString Steven M. Awodey (/ˈaʊdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
rdf:langString Steven M. Awodey (1959) is een Amerikaans wiskundige en wiskundige filosoof. Hij is hoogleraar filosofie en wiskunde aan de Carnegie Mellon University.
xsd:nonNegativeInteger 4584
rdf:langString Steven M. Awodey
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
yago:WikicatAmericanLogicians
yago:WikicatAmericanMathematicians
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatLivingPeople
<http://www.wikidata.org/entity/Q901>
yago:CausalAgent100007347
yago:Expert109617867
yago:Intellectual109621545
yago:LivingThing100004258
yago:Logician110269785
yago:Mathematician110301261
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:Philosopher110423589
yago:PhysicalEntity100001930
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scholar110557854
yago:Scientist110560637
yago:Whole100003553
yago:WikicatPhilosophersOfMathematics
<http://www.andrew.cmu.edu/user/awodey/>
<http://commons.wikimedia.org/wiki/Special:FilePath/StevenAwodey.jpg>
dbpedia:Michigan
dbpedia:Michigan
dbpedia:Category:1959_births
dbpedia:Category:Living_people
dbpedia:Category:20th-century_American_mathematicians
dbpedia:Category:21st-century_American_mathematicians
dbpedia:Category:Institute_for_Advanced_Study_visiting_scholars
dbpedia:Category:University_of_Chicago_alumni
dbpedia:Category:Carnegie_Mellon_University_faculty
dbpedia:Category:Philosophers_of_mathematics
dbpedia:Category:University_of_Marburg_alumni
dbpedia:Category:American_logicians
dbpedia:Carnegie_Mellon_University
dbpedia:Saunders_Mac_Lane
dbpedia:Model_theory
dbpedia:Homotopy_type_theory
dbpedia:University_of_Chicago
dbpedia:University_of_Marburg
dbpedia:Category:1959_births
dbpedia:Category:Living_people
dbpedia:Mathematics
dbpedia:Logic
dbpedia:Mathematician
dbpedia:Category:20th-century_American_mathematicians
dbpedia:Category:21st-century_American_mathematicians
dbpedia:Category:Institute_for_Advanced_Study_visiting_scholars
dbpedia:Category:University_of_Chicago_alumni
dbpedia:Category:Carnegie_Mellon_University_faculty
dbpedia:Category:Philosophers_of_mathematics
dbpedia:Type_theory
dbpedia:Category:University_of_Marburg_alumni
dbpedia:Category:American_logicians
dbpedia:Higher-order_logic
dbpedia:Higher_category_theory
dbpedia:Philosophy
dbpedia:Philosophy_of_mathematics
dbpedia:William_Walker_Tait
dbpedia:Institute_for_Advanced_Study
dbpedia:Michigan
dbpedia:Category_theory
dbpedia:Logician
<http://www.lehman.edu/deanhum/philosophy/BRSQ/05nov/connelly.htm%7Ctitle=Review>
<https://web.archive.org/web/20190221234344/http:/pdfs.semanticscholar.org/35c2/a040f369aeafd4c796fecd1f5e2a159508ab.pdf>
<https://www.youtube.com/watch%3Fv=4CghfgqnOGQ>
<https://www.youtube.com/watch%3Fv=U_MGMhDMuPE>
<https://www.youtube.com/watch%3Fv=ogoWR-LPgl8>
<http://www.andrew.cmu.edu/user/awodey/>
<http://rdf.freebase.com/ns/m.0bmdhxh>
<http://viaf.org/viaf/118671453>
<http://yago-knowledge.org/resource/Steve_Awodey>
<http://d-nb.info/gnd/141982721>
<http://d-nb.info/gnd/157855414>
<https://dblp.org/pid/68/3908>
<http://www.wikidata.org/entity/Q7611834>
<http://data.bibliotheken.nl/id/thes/p290984440>
<http://arz.dbpedia.org/resource/ستيف_اودى>
<http://azb.dbpedia.org/resource/استیو_آودی>
<http://fa.dbpedia.org/resource/استیو_آودی>
<http://nl.dbpedia.org/resource/Steve_Awodey>
<https://global.dbpedia.org/id/4w2Dq>
<https://web.archive.org/web/20190221234344/http:/pdfs.semanticscholar.org/35c2/a040f369aeafd4c796fecd1f5e2a159508ab.pdf>
dbpedia:Carnegie_Mellon_University
dbpedia:Template:Authority_control
dbpedia:Template:Cite_book
dbpedia:Template:Cite_journal
dbpedia:Template:Cite_web
dbpedia:Template:IPAc-en
dbpedia:Template:Reflist
dbpedia:Template:Short_description
dbpedia:Template:Birth_date_and_age
dbpedia:Template:Infobox_mathematician
<http://commons.wikimedia.org/wiki/Special:FilePath/StevenAwodey.jpg?width=300>
dbpedia:University_of_Chicago
dbpedia:University_of_Marburg
dbpedia:Homotopy_type_theory
dbpedia:Category_theory
<http://www.andrew.cmu.edu/user/awodey/>
dbpedia:William_Walker_Tait
dbpedia:Saunders_Mac_Lane
dbpedia:William_Walker_Tait
dbpedia:Professor
<http://viaf.org/viaf/118671453>
<http://en.wikipedia.org/wiki/Steve_Awodey?oldid=1060227652&ns=0>
dbpedia:Homotopy_type_theory
dbpedia:Category_theory
dbpedia:University_of_Chicago
dbpedia:University_of_Marburg
dbpedia:Model_theory
dbpedia:Type_theory
<http://en.wikipedia.org/wiki/Steve_Awodey>

data from the linked data cloud