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 theory of bisimulation for the (lambda)-calculus

AA theory of bisimulation for the (lambda)-calculus

Número de Cutter-SanbornS225tEntrada «Sang» → 225 · marca de obra “t”

A theory of bisimulation for the (lambda)-calculus

de Davide Sangiorgi

Materias

Lambda calculus

Ediciones (1)

A theory of bisimulation for the (lambda)-calculus (1993)
LFCS, Dept. of Computer Science, University of Edinburgh · inglés

Más obras de Davide Sangiorgi

Tapa de An introduction to bisimulation and coinduction

An introduction to bisimulation and coinduction

AAdvanced topics in bisimulation and coinduction

Advanced topics in bisimulation and coinduction

Tapa de Trustworthy global computing

Trustworthy global computing

A theory of bisimulation for the (lambda)-calculus — Davide Sangiorgi | Cutter Number

Tapa de Concurrency theory

Concurrency theory

IIntroduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

TTheoretical Computer Science

Theoretical Computer Science

Ver todas las obras de Davide Sangiorgi →