Extensional constructs in intensional type theory

Name: Extensional constructs in intensional type theory
Author: Martin Hofmann
ISBN: 3540761217

0.0

Extensional constructs in intensional type theory est un type theory, functional programming book de Martin Hofmann.

Découvrez Extensional constructs in intensional type theory de Martin Hofmann, type theory.

À propos de l'auteur

Martin Hofmann est l'auteur de Extensional constructs in intensional type theory. Parcourez son catalogue complet sur Booklogr.

Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.

Se connecter Connectez-vous pour écrire une critique

Quel est le genre de Extensional constructs in intensional type theory ?+

Extensional constructs in intensional type theory est un livre de Type theory, Functional programming, Automatic theorem proving.

Qui a écrit Extensional constructs in intensional type theory ?+

Extensional constructs in intensional type theory a été écrit par Martin Hofmann.