cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
The Curry-Howard isomorphism

TThe Curry-Howard isomorphism

Número de Cutter-SanbornG876cEntrada «Gron» → 876 · marca de obra “c”

The Curry-Howard isomorphism

de Philippe De Groote

Materias

Lambda calculus
Type theory
Proof theory
Curry-Howard isomorphism

Ediciones (2)

The Curry-Howard isomorphism (1995)
Academia · inglés
The Curry-Howard isomorphism
Academia · inglés

Más obras de Philippe De Groote

Tapa de Formal grammar

The Curry-Howard isomorphism — Philippe De Groote | Cutter Number

Formal grammar

Tapa de Formal Grammar

Lecture Notes in Computer Science Theoretical Computer Sci

Formal Grammar Lecture Notes in Computer Science Theoretical Computer Sci

Ver todas las obras de Philippe De Groote →