| Property |
Value |
| dbo:abstract
|
- En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es la relación directa que guardan las demostraciones matemáticas con los programas de ordenador. Es una generalización de una analogía sintáctica entre varios sistemas de la lógica formal y varios cálculos computacionales que fue descubierta por primera vez por Haskell Curry y . (es)
- En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es la relación directa que guardan las demostraciones matemáticas con los programas de ordenador. Es una generalización de una analogía sintáctica entre varios sistemas de la lógica formal y varios cálculos computacionales que fue descubierta por primera vez por Haskell Curry y . (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:chapter
|
- The formulae-as-types notion of construction (es)
- The formulae-as-types notion of construction (es)
|
| prop-es:date
|
- Septiembre de 1980 (es)
- Septiembre de 1980 (es)
|
| prop-es:editor1First
|
- Jonathan P. (es)
- Jonathan P. (es)
|
| prop-es:editor1Last
| |
| prop-es:editor1Link
|
- Jonathan P. Seldin (es)
- Jonathan P. Seldin (es)
|
| prop-es:editor2First
|
- J. Roger (es)
- J. Roger (es)
|
| prop-es:editor2Last
|
- Hindley (es)
- Hindley (es)
|
| prop-es:editor2Link
|
- J. Roger Hindley (es)
- J. Roger Hindley (es)
|
| prop-es:first
|
- William A. (es)
- William A. (es)
|
| prop-es:isbn
| |
| prop-es:last
| |
| prop-es:location
|
- Boston, MA (es)
- Boston, MA (es)
|
| prop-es:origyear
|
- manuscrito original del 1969 (es)
- manuscrito original del 1969 (es)
|
| prop-es:pages
| |
| prop-es:publisher
| |
| prop-es:title
|
- To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (es)
- To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (es)
|
| dct:subject
| |
| rdfs:comment
|
- En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es la relación directa que guardan las demostraciones matemáticas con los programas de ordenador. Es una generalización de una analogía sintáctica entre varios sistemas de la lógica formal y varios cálculos computacionales que fue descubierta por primera vez por Haskell Curry y . (es)
- En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es la relación directa que guardan las demostraciones matemáticas con los programas de ordenador. Es una generalización de una analogía sintáctica entre varios sistemas de la lógica formal y varios cálculos computacionales que fue descubierta por primera vez por Haskell Curry y . (es)
|
| rdfs:label
|
- Correspondencia de Curry-Howard (es)
- Correspondencia de Curry-Howard (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
