About: Coherent space

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Concept in linear logic and type theory

Property	Value
dbo:description	Concept in linear logic and type theory (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Pullback_intersection_union.png?width=300
dbo:wikiPageExternalLink	http://girard.perso.math.cnrs.fr/LLcup.pdf http://www.paultaylor.eu/stable/prot.pdf
dbo:wikiPageWikiLink	dbr:Undirected_graph dbr:Category_theory dbr:Clique_(graph_theory) dbr:Function_(mathematics) dbr:Set_(mathematics) dbr:Proof_theory dbr:Pullback_(category_theory) dbr:Type_theory dbr:Singleton_(mathematics) dbr:Universal_property dbr:Monotonic_function dbr:Reflexive_relation dbr:Symmetric_relation dbr:Disjoint_union dbr:Linear_logic dbc:Mathematical_logic dbr:Jean-Yves_Girard dbr:Functor dbr:Spectral_space dbr:Continuous_function dbr:Bijection dbr:Union_(set_theory) dbr:Product_(category_theory) dbr:Directed_set dbr:Edge_(graph_theory) dbr:Filtered_colimit dbr:Directed_union dbr:Poset dbr:File:Pullback_intersection_union.png dbr:File:Pullback_with_order.png
dbp:wikiPageUsesTemplate	dbt:For dbt:Citation dbt:Mathlogic-stub
dct:subject	dbc:Mathematical_logic
gold:hypernym	dbr:Concept
rdfs:label	Coherent space (en)
owl:sameAs	freebase:Coherent space wikidata:Coherent space dbpedia-global:Coherent space dbr:Coherent space
prov:wasDerivedFrom	wikipedia-en:Coherent_space?oldid=1102536697&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Pullback_intersection_union.png wiki-commons:Special:FilePath/Pullback_with_order.png
foaf:isPrimaryTopicOf	wikipedia-en:Coherent_space
is dbo:knownFor of	dbr:Jean-Yves_Girard
is dbo:wikiPageRedirects of	dbr:Coherence_space
is dbo:wikiPageWikiLink of	dbr:Denotational_semantics dbr:Birkhoff's_representation_theorem dbr:Jean-Yves_Girard dbr:Proof_net dbr:Chu_space dbr:Coherence_space
is dbp:knownFor of	dbr:Jean-Yves_Girard
is foaf:primaryTopic of	wikipedia-en:Coherent_space