A modern perspective on type theory from its origins until today

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/801356856#Topic/theorie_des_types
http://experiment.worldcat.org/entity/work/data/801356856#Topic/types_theorie_des
http://experiment.worldcat.org/entity/work/data/801356856#Topic/logica
http://id.worldcat.org/fast/1002014
http://experiment.worldcat.org/entity/work/data/801356856#Topic/theoretische_informatica
http://experiment.worldcat.org/entity/work/data/801356856#Topic/geschichte
http://experiment.worldcat.org/entity/work/data/801356856#Topic/wiskunde
http://experiment.worldcat.org/entity/work/data/801356856#Topic/logic
http://experiment.worldcat.org/entity/work/data/801356856#Topic/computer_informatica_automatisering
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/801356856#Topic/mathematical_logic_and_foundations
http://experiment.worldcat.org/entity/work/data/801356856#Topic/theorie_type
http://experiment.worldcat.org/entity/work/data/801356856#Topic/mathematics_infinity
http://id.loc.gov/authorities/subjects/sh89003285
http://experiment.worldcat.org/entity/work/data/801356856#Topic/tipus_teoria_dels
http://id.loc.gov/authorities/subjects/sh85082139
http://experiment.worldcat.org/entity/work/data/801356856#Topic/evolution
http://id.worldcat.org/fast/1012163
http://experiment.worldcat.org/entity/work/data/801356856#Topic/teoria_de_tipus
http://experiment.worldcat.org/entity/work/data/801356856#Topic/logic_symbolic_and_mathematical
http://id.worldcat.org/fast/872451
http://id.worldcat.org/fast/1159972
http://experiment.worldcat.org/entity/work/data/801356856#Event/geschichte
http://experiment.worldcat.org/entity/work/data/801356856#Topic/computer_science
http://experiment.worldcat.org/entity/work/data/801356856#Topic/typentheorie
http://id.loc.gov/authorities/subjects/sh85078106
http://experiment.worldcat.org/entity/work/data/801356856#Topic/informatica
http://id.loc.gov/authorities/subjects/sh85139126
http://experiment.worldcat.org/entity/work/data/801356856#Topic/lambda_calcul
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/801356856#Topic/mathematics_logic
http://experiment.worldcat.org/entity/work/data/801356856#Topic/mathematische_logica
http://experiment.worldcat.org/entity/work/data/801356856#Topic/tipos_teoria_de
http://experiment.worldcat.org/entity/work/data/801356856#Topic/mathematics_of_computing
http://experiment.worldcat.org/entity/work/data/801356856#Topic/type_theory
http://experiment.worldcat.org/entity/work/data/801356856#Topic/mathematics

http://schema.org/author

http://worldcat.org/entity/person/id/2722565962
http://worldcat.org/entity/person/id/2641297135
http://worldcat.org/entity/person/id/2641692460
http://worldcat.org/entity/person/id/2632237849

http://schema.org/contributor

http://worldcat.org/entity/person/id/2641692460
http://worldcat.org/entity/person/id/2641297135
http://worldcat.org/entity/person/id/2632237849

http://schema.org/creator

http://worldcat.org/entity/person/id/2663680803
http://worldcat.org/entity/person/id/2641297135

http://schema.org/genre

"Electronic books"@en
"Electronic books"
"Aufsatzsammlung"
"Llibres electrònics"

http://schema.org/name

"A Modern Perspective on Type Theory : From its Origins until Today"
"A modern perspective on type theory from its origins until today"@en
"A modern perspective on type theory from its origins until today"
"A Modern perspective on type theory : from its origins until today"
"A Modern perspective on type theory from its origins until today"
"A modern perspective on type theory : from its origins until today"
"A Modern Perspective on Type Theory"
"A Modern Perspective on Type Theory From its Origins until Today"
"A Modern Perspective on Type Theory From its Origins until Today"@en
"Modern perspective on type theory : from its origins until today"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/848803437
http://www.worldcat.org/oclc/874466229
http://www.worldcat.org/oclc/803559589
http://www.worldcat.org/oclc/805049897
http://www.worldcat.org/oclc/489047997
http://www.worldcat.org/oclc/780891134
http://www.worldcat.org/oclc/713216956
http://www.worldcat.org/oclc/813345135
http://www.worldcat.org/oclc/318289846
http://www.worldcat.org/oclc/644958921
http://www.worldcat.org/oclc/55511463
http://www.worldcat.org/oclc/225383845
http://www.worldcat.org/oclc/470949218
http://www.worldcat.org/oclc/57468759
http://www.worldcat.org/oclc/850573864
http://www.worldcat.org/oclc/873399853
http://www.worldcat.org/oclc/695854143
http://www.worldcat.org/oclc/845695182
http://www.worldcat.org/oclc/436979563
http://www.worldcat.org/oclc/690245277
http://www.worldcat.org/oclc/901621488
http://www.worldcat.org/oclc/846615872

Geschichte.

This is a placeholder reference for a Event entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
schema:name
"Geschichte."

http://experiment.worldcat.org/entity/work/data/801356856#Event/geschichte

Computer. Informatica. Automatisering.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Computer. Informatica. Automatisering."