EtiquetaCurry-Howard

Incluye: Curry-Howard, curry-howard

Obras etiquetadas

Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science) por Iman Hafiz Poernomo (1 veces)
Derivation and Computation por H. Simmons (1 veces)

Títulos Portadas

Usan esta etiqueta

mkjones (2)

Etiquetas relacionadas

Cargando...

Series relacionadas

Cambridge Tracts in Theoretical Computer Science

Grupos de etiquetas relacionados

computation, logic (1)

computation, type theory (1)

logic, type theory (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.

EtiquetaCurry-Howard

Obras etiquetadas

Usan esta etiqueta

Etiquetados recientemente

Etiquetas relacionadas

Series relacionadas

Grupos de etiquetas relacionados