Linked Data Explorerhttp://worldcat.org/entity/work/id/802750378
Adapting proofs-as-programs : the Curry-Howard protocol
Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.
Open All Close All
http://schema.org/about
- http://id.loc.gov/authorities/subjects/sh87007844
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/formale_methode
- http://id.worldcat.org/fast/794745
- http://id.loc.gov/authorities/subjects/sh85074174
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/abstract_data_types_computer_science
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/theoretische_informatica
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/mathematiques_intuitionnistes
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logics_and_meanings_of_programs
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/type_de_donnees_abstraites
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/theorie_de_la_preuve
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/funktionale_programmierung
- http://id.loc.gov/authorities/subjects/sh2001002954
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/software_engineering_programming_and_operating_systems
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/wiskunde
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logique_intuitionniste
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/algebraische_methode
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/curry_howard_isomorphisme_de
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/programmsynthese
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/softwareentwicklung
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/programmation_par_fonctions
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/curry_howard_isomorphism
- http://id.worldcat.org/fast/991011
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/theorie_de_la_demonstration
- http://id.worldcat.org/fast/1002045
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logique_symbolique_et_mathematique
- http://id.loc.gov/authorities/subjects/sh89003285
- http://id.loc.gov/authorities/subjects/sh85107437
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/calcul_lambda
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logic_symbolic_and_mathematical
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logic_design
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/functional_programming_computer_science
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/informatica
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/mathematical_logic_and_foundations
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/mathematics_logic
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logique_mathematique
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/programming_techniques
- http://id.worldcat.org/fast/936086
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/computerbesturingssystemen
- http://id.worldcat.org/fast/1002068
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/informatique
- http://id.loc.gov/authorities/subjects/sh85078115
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/preuve_theorie
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/models_and_principles
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/computational_logic
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/programmering
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/software_engineering
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh85000253
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/lambda_calcul
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/programmation_fonctionnelle
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/theorie_des_types
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logiciel_developpement_programmation_par_fonctions
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/computer_informatica_automatisering
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/logica
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/lambda_calculus
- http://id.worldcat.org/fast/1078942
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/ontwerpen
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/computer_science
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/electronic_books
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/proof_theory
- http://id.loc.gov/authorities/subjects/sh85078117
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/automatisches_beweisverfahren
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/mathematics_infinity
- http://id.worldcat.org/fast/885411
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/types_abstraits_de_donnees_informatique
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/mathematische_logica
- http://experiment.worldcat.org/entity/work/data/802750378#Topic/programmeren_informatica
http://schema.org/description
- "Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems."@en
http://schema.org/genre
- "Electronic books"
- "Electronic books"@en
- "Ressources Internet"
- "Online-Publikation"
http://schema.org/name
- "Adapting Proofs-as-Programs The Curry-Howard Protocol"
- "Adapting proofs as programs the Curry Howard protocol"
- "Adapting proofs-as-programs : the Curry-Howard protocol"@en
- "Adapting proofs-as-programs : the Curry-Howard protocol"
- "Adapting proof-as-programs the Curry-Howard protocol"
- "Adapting Proofs-as-programs The Curry-Howard Protocol"@en
- "Adapting Proofs-as-Programs the Curry-Howard Protocol"@en
- "Adapting Proofs-as-Programs the Curry-Howard Protocol"
- "Adapting Proofs-as-Programs : The Curry-Howard Protocol"
- "Adapting proofs-as-programs the Curry-Howard protocol"
- "Adapting proofs-as-programs the Curry-Howard protocol"@en
- "Adapting proof-as-programs : the Curry-Howard protocol"
http://schema.org/workExample
- http://www.worldcat.org/oclc/751582727
- http://www.worldcat.org/oclc/166903733
- http://www.worldcat.org/oclc/228149363
- http://www.worldcat.org/oclc/300262867
- http://www.worldcat.org/oclc/836616595
- http://www.worldcat.org/oclc/474745842
- http://www.worldcat.org/oclc/58478542
- http://www.worldcat.org/oclc/873872108
- http://www.worldcat.org/oclc/750741665
- http://www.worldcat.org/oclc/901618971
- http://www.worldcat.org/oclc/723896465
- http://www.worldcat.org/oclc/493712981
- http://www.worldcat.org/oclc/468421609
- http://www.worldcat.org/oclc/827018137
- http://www.worldcat.org/oclc/265883096
- http://www.worldcat.org/oclc/874472072
- http://www.worldcat.org/oclc/780883846