Linked Data Explorerhttp://worldcat.org/entity/work/id/292031082
Semantics of type theory : correctness, completeness, and independence results
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/logica_matematica_programacio
- http://id.worldcat.org/fast/872460
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/szamitogep_programozas
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/semantique_langage_programmation
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/types_theorie_des
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/lenguajes_de_programacion_computadores_electronicos_semantica
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/programmation_fonctionnelle_informatique
- http://id.loc.gov/authorities/subjects/sh85107316
- http://id.worldcat.org/fast/1159972
- http://id.loc.gov/authorities/subjects/sh85082139
- http://id.worldcat.org/fast/1012163
- http://id.loc.gov/authorities/subjects/sh85139126
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/theorie_des_types
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/programacio_funcional_informatica
- http://id.worldcat.org/fast/1078716
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/llenguatges_de_programacio_semantica
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/functional_programming_computer_science
- http://id.loc.gov/authorities/subjects/sh87007844
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/langages_de_programmation_fonctionnelle
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/funktionale_programmierung
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/programmation_fonctionnelle
- http://id.worldcat.org/fast/936086
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/konstruktive_logik
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/semantik
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/type_theory
- http://id.loc.gov/authorities/subjects/sh85042295
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/ordinateurs_programmation_semantique
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/types_abstraits_de_donnees_informatique
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/typenlogik
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/semantik_informatik
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/structures_de_donnees_informatique
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/programacion_funcional_computadores_electronicos
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/typentheorie
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/langages_de_programmation_semantique
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/programming_languages_electronic_computers_semantics
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/funktionale_programmiersprache
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/calcul_construction
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/292031082#Topic/theorie_type
http://schema.org/genre
- "Electronic books"
http://schema.org/name
- "Semantics of type theory : correctness, completeness and independence results"
- "Semantics of type theory : correctness, completeness, and independence results"@en
- "Semantics of type theory : correctness, completeness, and independence results"
- "Semantics of Type Theory Correctness, Completeness and Independence Results"
http://schema.org/workExample
- http://www.worldcat.org/oclc/900181742
- http://www.worldcat.org/oclc/465915885
- http://www.worldcat.org/oclc/853269571
- http://www.worldcat.org/oclc/318329763
- http://www.worldcat.org/oclc/468299232
- http://www.worldcat.org/oclc/848835846
- http://www.worldcat.org/oclc/869855034
- http://www.worldcat.org/oclc/863719622
- http://www.worldcat.org/oclc/803561294
- http://www.worldcat.org/oclc/909635217
- http://www.worldcat.org/oclc/246881582
- http://www.worldcat.org/oclc/24175029