Extensional constructs in intensional type theory
- ISBN
- 3540761217
Extensional constructs in intensional type theory es un type theory, functional programming book de Martin Hofmann.
Descubre Extensional constructs in intensional type theory de Martin Hofmann, type theory.
Sobre el Autor
Martin Hofmann es el autor de Extensional constructs in intensional type theory. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Extensional constructs in intensional type theory?+
Extensional constructs in intensional type theory es un libro de Type theory, Functional programming, Automatic theorem proving.
¿Quién escribió Extensional constructs in intensional type theory?+
Extensional constructs in intensional type theory fue escrito por Martin Hofmann.