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
Category theory and computer science

Tapa de Category theory and computer science

Número de Cutter-SanbornD994cEntrada «Dy» → 994 · marca de obra “c”

Category theory and computer science

de Peter Dybjer

Materias

Théorie catégorie
Catégorie
Théorie type
Langage programmation
Calcul propositionnel
Génie logiciel
Logique mathématique
Construction langage
Computer programming
Categories (mathematics)

Ediciones (1)

Category Theory and Computer Science (1989)
Springer · inglés · ISBN 9783540516620

Más obras de Peter Dybjer

Tapa de Semantics And Logics Of Computation

Semantics And Logics Of Computation

Tapa de Semantics and logics of computation

Semantics and logics of computation

TTypes for Proofs and Programs

Types for Proofs and Programs

Category theory and computer science — Peter Dybjer | Cutter Number

A

Applied Semantics

Applied Semantics

CCategory theory and programming language semantics

Category theory and programming language semantics

Ver todas las obras de Peter Dybjer →