<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordenadores_congresos> <http://schema.org/name> "Ordenadores Congresos." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordenadores_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatique_congres> <http://schema.org/name> "Informatique Congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/geordende_algebraische_structuren> <http://schema.org/name> "Geordende algebraïsche structuren." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/geordende_algebraische_structuren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs> <http://schema.org/name> "Ordinateurs." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/calcul_propositionnel> <http://schema.org/name> "calcul propositionnel." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/calcul_propositionnel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1987> <http://schema.org/name> "Categoria (Matematica) - Congressi - 1987." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorias_matematica> <http://schema.org/name> "Categorias (Matematica)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorias_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4a_1991_paris> <http://schema.org/name> "Summer Conference on Category Theory and Computer Science (4a : 1991 : Paris)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4a_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4a_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logique_mathematique> <http://schema.org/name> "logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorietheorie_homologe_algebra> <http://schema.org/name> "Categorietheorie. Homologe algebra." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorietheorie_homologe_algebra> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/teorija_kategorij_teorija_tipov_teorija_domen_linearna_logika> <http://schema.org/name> "teorija kategorij teorija tipov teorija domen linearna logika." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/teorija_kategorij_teorija_tipov_teorija_domen_linearna_logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategoriaelmelet_tanulmanyok> <http://schema.org/name> "Kategóriaelmélet tanulmányok." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategoriaelmelet_tanulmanyok> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science> <http://schema.org/name> "Computer science." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science> <http://schema.org/name> "Computer Science." .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_edimbourg_gb> <http://schema.org/name> "Conference on category theory and computer science (2 ; 1987 ; Édimbourg, GB)." .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_edimbourg_gb> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_edimbourg_gb> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming_congresses> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/calcul_propositionnel> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2628875696> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_informatique_theorique_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorieen_wiskunde> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmering> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : proceedings (of a conference held in) Edinburgh, U.K., September 7-9, 1987" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs_programmation_actes_de_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/475226556> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/datenverarbeitung> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/komputery_programowanie_konferencje> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Electronic resources (Books)" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/891074725#Organization/university_of_manchester_department_of_computer_science_conference_on_category_theory_and_computer_science> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, U.K., Septembre 7-9, 1987 :Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/693277043> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_09_09_1987_edinburgh_uk> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_domaine> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Manchester, UK, September 5-8, 1989. Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/1002045> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/849000> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/international_conference_on_category_theory_and_computer_science_4_1991_paris> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science [4th Biennial Summer Conference on Category Theory and Computer Science] Paris, France, September 3-6, 1991 : proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760617171> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751026398> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : manchester, u.k. september 5-8, 1989 proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science_mathematics> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs_programmation_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Conference Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_actes_de_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/kongress> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_edinburgh_1987> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/author> <http://worldcat.org/entity/person/id/2696348172> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/logic_design> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2679494397> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2628540457> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/langage_programmation> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804043870> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/906854> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793075208> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/software_engineering> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorie> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878741804> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "CATEGORY Theory and Computer Science : Edinburgh, U.K., September 7-9, 1987 : Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/811368289> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4a_1991_paris> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801008537> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science Manchester, UK, September 5-8, 1989, proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Edinburgh, UK, September 7-9, 1987: Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Edinburgh, UK, September 7-9, 1987: Proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/423077523> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/teorija_kategorij_teorija_tipov_teorija_domen_linearna_logika> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/717250471> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/321295019> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paris> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911377137> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://id.loc.gov/authorities/names/n91075312> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640628099> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/800990412> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_edimbourg_gb> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematics_congresses> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorias_matematica> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/859815540> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategorie_matematyka_konferencje> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_congressi_1987> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630613149> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008101220> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/465143966> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699831505> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630613149> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh87007398> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/matematicas_computacionales> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/geordende_algebraische_structuren> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/440933003> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/description> "\"The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming presents a rich world of interconnections. Topics covered in this volume include the following. Type theory: stratification of types and propositions can be discussed in a categorical setting. Domain theory: synthetic domain theory develops domain theory internally in the constructive universe of the effective topos. Linear logic: the reconstruction of logic based on propositions as resources leads to alternatives to traditional syntaxes. The proceedings of the previous three category theory conferences appear as Lecture Notes in Computer Science Volumes 240, 283 and 389\"--PUBLISHER'S WEBSITE." .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "CATEGORY THEORY AND COMPUTER SCIENCE : Edinburgh, U.K., September 7-9, 1987, Proceedings"@it .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909087972> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : proceedings : Paris, France, September 3-6, 1991" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science Paris, France, September 3-6, 1991 : proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634693454> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation> .
<http://worldcat.org/entity/work/id/891074725> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategoriaelmelet_tanulmanyok> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : [fourth biennal Summer Conference on category theory and computer science], Paris, September 3-6, 1991 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2677964445> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science : Edinburgh, U.K., September 7-9, 1987" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466111894> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Congresverslag" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Edinburgh, UK, September 7-9, 1987. Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/16871627> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2638488121> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/872451> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://viaf.org/viaf/131123449> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://viaf.org/viaf/143794134> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/racunalnistvo_programiranje_modeli_logika_algoritmi_semantika_kategorije_teorije> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatique_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_paris_1991> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107310> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Manchester, UK, September 5-8, 1989 Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paryz> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_and_computer_science_4_1991_paris> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorias_matematicas_congresos> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/mathematical_logic_and_formal_languages> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_categorie> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, U.K., Sept. 7-9, 1987 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/24246280> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628875696> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatik> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_matematica_congressos> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4th_1991_paris_france> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634693454> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematics> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/genie_logiciel> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797759194> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/programming_languages_compilers_interpreters> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "CATEGORY THEORY AND COMPUTER SCIENCE : Manchester, UK, September 5-8, 1989, Proceedings"@it .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/logique_lineaire> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science Edinburgh, U.K., September 7-9, 1987 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science Edinburgh, U.K., September 7-9, 1987 : proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Paris, France, September 3-6, 1991 : Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_metodi_matematici_congressi_1991> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628540457> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/computers> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_type> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/electronic_digital_computers> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/author> <http://experiment.worldcat.org/entity/work/data/891074725#Organization/university_of_edinburgh_conference_on_category_theory_and_computer_science> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630613149> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/description> "This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems." .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1991> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, U.K., September 7-9, 1987. Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2677964445> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699823875> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2007004295> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science, Manchester, UK, September 5-8, 1989 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760617180> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1989> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : [4th biennal Summer conference on Category theory and computer science], Paris, France, September 3-6, 1991 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/specification_langage> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/858397466> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorietheorie_homologe_algebra> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_1987_edinburgh> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751519486> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878752054> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : edinburgh, u.k., september 7-9, 1987 proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh93007047> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/443694839> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2735574613> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/855378266> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Manchester, U.K., September 5-8, 1989 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/racunalnistvo> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordenadores_congresos> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466131589> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/231038259> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85020992> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150395487> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategorientheorie> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/699832191> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078117> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatique> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/1124185> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630435909> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/760617198> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/471743885> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science proceedings (of a conference held in) Edinburgh, U.K., September 7-9, 1987" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/872460> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4th_1991_paris_france> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901713002> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category Theory and Computer Science Edinburgh, U.K., September 7-9, 1987 Proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Congressen (vorm)"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/ebooks_uml> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/theoretische_informatica> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/k_theory> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901550744> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_theory_and_computer_science_4_1991_06_09_1991_paris> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_manchester_1989> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849785314> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatyka_konferencje> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2636611102> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793114877> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793077045> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/construction_langage> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/231233813> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_congressi_1989> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique_congres_congres> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640628099> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/811367255> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Paris, France, September 3-6, 1991, proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Paris, France, September 3-6, 1991, proceedings"@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637412364> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.worldcat.org/fast/872390> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2690586923> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638488121> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/641295385> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh89003285> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/816919919> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science : Edinburgh, UK, September 7-9, 1987, proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/creator> <http://viaf.org/viaf/312839523> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science_edinburgh_1987_09> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/811368849> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/mathematical_logic_and_foundations> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/230888550> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/799797384> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/name> "Category theory and computer science Edinburgh, UK, September 7-9, 1987, proceedings" .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/888942556> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/logics_and_meanings_of_programs> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatica_congressos> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636611102> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/150395740> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/859793264> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85042295> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/423183839> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/799067173> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/description> "The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming presents a rich world of interconnections. Topics covered in this volume include the following. Type theory: stratification of types and propositions can be discussed in a categorical setting. Domain theory: synthetic domain theory develops domain theory internally in the constructive universe of the effective topos. Linear logic: the reconstruction of logic based on propositions as resources leads to alternatives to traditional syntaxes. The proceedings of the previous three category theory conferences appear as Lecture Notes in Computer Science Volumes 240, 283 and 389."@en .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1987> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/20262851> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/846729215> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802961527> .
<http://worldcat.org/entity/work/id/891074725> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/891074725> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2009118525> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategorie_matematyka_konferencje> <http://schema.org/name> "Kategorie (matematyka) konferencje." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategorie_matematyka_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/komputery_programowanie_konferencje> <http://schema.org/name> "Komputery programowanie konferencje." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/komputery_programowanie_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/k_theory> <http://schema.org/name> "K-theory." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/k_theory> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmering> <http://schema.org/name> "Programmering." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming_congresses> <http://schema.org/name> "Computer programming Congresses." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_paris_1991> <http://schema.org/name> "Congressi - Paris - 1991." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_paris_1991> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatique> <http://schema.org/name> "Informatique." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation> <http://schema.org/name> "programmation." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatyka_konferencje> <http://schema.org/name> "Informatyka konferencje." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatyka_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematics> <http://schema.org/name> "Categories (Mathematics)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategorientheorie> <http://schema.org/name> "Kategorientheorie." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/kategorientheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_edinburgh_1987> <http://schema.org/name> "Congressi - Edinburgh - 1987." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_edinburgh_1987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/mathematical_logic_and_foundations> <http://schema.org/name> "Mathematical Logic and Foundations." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/mathematical_logic_and_foundations> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_type> <http://schema.org/name> "théorie type." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/matematicas_computacionales> <http://schema.org/name> "Matemáticas computacionales." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/matematicas_computacionales> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique_congres> <http://schema.org/name> "Programmation (Informatique) Congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorias_matematicas_congresos> <http://schema.org/name> "Categorías (Matemáticas) Congresos." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorias_matematicas_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/genie_logiciel> <http://schema.org/name> "génie logiciel." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/genie_logiciel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logic_design> <http://schema.org/name> "Logic design." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logic_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_and_computer_science_4_1991_paris> <http://schema.org/name> "Biennial summer conference on category and computer science (4 : 1991 : Paris)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_and_computer_science_4_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_and_computer_science_4_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatik> <http://schema.org/name> "Informatik." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/electronic_digital_computers> <http://schema.org/name> "Electronic digital computers." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/electronic_digital_computers> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_domaine> <http://schema.org/name> "théorie domaine." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_domaine> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programming_languages_compilers_interpreters> <http://schema.org/name> "Programming Languages, Compilers, Interpreters." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programming_languages_compilers_interpreters> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique> <http://schema.org/name> "Programmation (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_actes_de_congres> <http://schema.org/name> "Catégories (mathématiques) Actes de congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_actes_de_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_09_09_1987_edinburgh_uk> <http://schema.org/name> "Conference on Category Theory and Computer Science (2 : 1987 - 09-09-1987 : Edinburgh, UK)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_09_09_1987_edinburgh_uk> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_2_1987_09_09_1987_edinburgh_uk> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/construction_langage> <http://schema.org/name> "construction langage." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/construction_langage> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique_congres_congres> <http://schema.org/name> "Programmation (Informatique) Congrès Congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/programmation_informatique_congres_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_categorie> <http://schema.org/name> "théorie catégorie." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theorie_categorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/datenverarbeitung> <http://schema.org/name> "Datenverarbeitung." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/datenverarbeitung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs_programmation_congres> <http://schema.org/name> "Ordinateurs Programmation Congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs_programmation_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science> <http://schema.org/name> "Category Theory and Computer Science." .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paryz> <http://schema.org/name> "Summer Conference on Category Theory and Computer Science (4 ; 1991 ; Paryż)." .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paryz> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paryz> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming> <http://schema.org/name> "Computer programming." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_programming> <http://schema.org/name> "Computer Programming." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theoretische_informatica> <http://schema.org/name> "Theoretische informatica." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/theoretische_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/racunalnistvo_programiranje_modeli_logika_algoritmi_semantika_kategorije_teorije> <http://schema.org/name> "računalništvo programiranje modeli logika algoritmi semantika kategorije teorije." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/racunalnistvo_programiranje_modeli_logika_algoritmi_semantika_kategorije_teorije> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_congres> <http://schema.org/name> "Catégories (Mathématiques) Congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_congres> <http://schema.org/name> "Catégories (mathématiques) Congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/mathematical_logic_and_formal_languages> <http://schema.org/name> "Mathematical Logic and Formal Languages." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/mathematical_logic_and_formal_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Organization/university_of_edinburgh_conference_on_category_theory_and_computer_science> <http://schema.org/name> "University of Edinburgh. Conference on Category Theory and Computer Science." .
<http://experiment.worldcat.org/entity/work/data/891074725#Organization/university_of_edinburgh_conference_on_category_theory_and_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_informatique_theorique_congres> <http://schema.org/name> "catégories (mathématiques) informatique théorique [congrès]" .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematiques_informatique_theorique_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_metodi_matematici_congressi_1991> <http://schema.org/name> "Elaborazione elettronica dei dati - Metodi matematici - Congressi - 1991." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_metodi_matematici_congressi_1991> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_congressi_1989> <http://schema.org/name> "Elaborazione elettronica dei dati - Congressi - 1989." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_congressi_1989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science_edinburgh_1987_09> <http://schema.org/name> "Category Theory and Computer Science (Edinburgh) (1987/09)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science_edinburgh_1987_09> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/category_theory_and_computer_science_edinburgh_1987_09> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/langage_programmation> <http://schema.org/name> "langage programmation." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/langage_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/specification_langage> <http://schema.org/name> "spécification langage." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/specification_langage> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/international_conference_on_category_theory_and_computer_science_4_1991_paris> <http://schema.org/name> "International Conference on Category Theory and Computer Science (4 : 1991 : Paris)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/international_conference_on_category_theory_and_computer_science_4_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/international_conference_on_category_theory_and_computer_science_4_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1991> <http://schema.org/name> "Categoria (Matematica) - Congressi - 1991." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1991> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science_mathematics> <http://schema.org/name> "Computer science Mathematics." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computer_science_mathematics> <http://schema.org/name> "Computer Science Mathematics." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/software_engineering> <http://schema.org/name> "Software Engineering." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/software_engineering> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Organization/university_of_manchester_department_of_computer_science_conference_on_category_theory_and_computer_science> <http://schema.org/name> "University of Manchester. Department of Computer Science. Conference on Category Theory and Computer Science." .
<http://experiment.worldcat.org/entity/work/data/891074725#Organization/university_of_manchester_department_of_computer_science_conference_on_category_theory_and_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorie> <http://schema.org/name> "catégorie." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1989> <http://schema.org/name> "Categoria (Matematica) - Congressi - 1989." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categoria_matematica_congressi_1989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/racunalnistvo> <http://schema.org/name> "računalništvo." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/racunalnistvo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/891074725.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/891074725> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatica_congressos> <http://schema.org/name> "Informàtica Congressos." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/informatica_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logique_lineaire> <http://schema.org/name> "logique linéaire." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logique_lineaire> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computers> <http://schema.org/name> "Computers." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/computers> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4th_1991_paris_france> <http://schema.org/name> "Summer Conference on Category Theory and Computer Science (4th : 1991 : Paris, France)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4th_1991_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4th_1991_paris_france> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_theory_and_computer_science_4_1991_06_09_1991_paris> <http://schema.org/name> "Biennial Summer Conference on Category Theory and Computer Science (4 : 1991 - 06-09-1991 : Paris)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_theory_and_computer_science_4_1991_06_09_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/biennial_summer_conference_on_category_theory_and_computer_science_4_1991_06_09_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematics_congresses> <http://schema.org/name> "Categories (Mathematics) Congresses." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_mathematics_congresses> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorieen_wiskunde> <http://schema.org/name> "Categorieën (wiskunde)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categorieen_wiskunde> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_manchester_1989> <http://schema.org/name> "Congressi - Manchester - 1989." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/congressi_manchester_1989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ebooks_uml> <http://schema.org/name> "Ebooks -- UML." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ebooks_uml> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_1987_edinburgh> <http://schema.org/name> "Conference on category theory and computer science (1987 : Edinburgh)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_1987_edinburgh> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/conference_on_category_theory_and_computer_science_1987_edinburgh> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logics_and_meanings_of_programs> <http://schema.org/name> "Logics and Meanings of Programs." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/logics_and_meanings_of_programs> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_matematica_congressos> <http://schema.org/name> "Categories (Matemàtica) Congressos." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/categories_matematica_congressos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs_programmation_actes_de_congres> <http://schema.org/name> "Ordinateurs Programmation Actes de congrès." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/ordinateurs_programmation_actes_de_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paris> <http://schema.org/name> "Summer Conference on Category Theory and Computer Science (4 : 1991 : Paris)" .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paris> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/891074725#Meeting/summer_conference_on_category_theory_and_computer_science_4_1991_paris> <http://schema.org/name> "Summer Conference on category theory and computer science 4 : 1991 : Paris." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_congressi_1987> <http://schema.org/name> "Elaborazione elettronica dei dati - Congressi - 1987." .
<http://experiment.worldcat.org/entity/work/data/891074725#Topic/elaborazione_elettronica_dei_dati_congressi_1987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .