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
A higher-order calculus and theory abstraction

AA higher-order calculus and theory abstraction

Número de Cutter-SanbornL964hEntrada «Lunt» → 964 · marca de obra “h”

A higher-order calculus and theory abstraction

Ediciones (1)

A higher-order calculus and theory abstraction. (1988)
University of Edinburgh, Laboratory for Foundations ofComputer Science · inglés

Más obras de Zhaohui Luo

Tapa de Types for proofs and programs

Types for proofs and programs

Tapa de Types for Proofs and Programs

Types for Proofs and Programs

Tapa de Modern Perspectives in Type-Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics

A higher-order calculus and theory abstraction — Zhaohui Luo | Cutter Number

F

Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

CCC and its meta theory

CC and its meta theory

Tapa de Computation and reasoning

Computation and reasoning

Ver todas las obras de Zhaohui Luo →