Metadata
Author: WikiMatrix
Data
English[en]
The Curry–Howard isomorphism between proofs and programs relates to proof theory, especially intuitionistic logic.
Spanish[es]
También el isomorfismo de Churry-Howard entre pruebas y programas se corresponde con la teoría de pruebas, donde la lógica intuicionista y la lógica lineal son especialmente significativas.