Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Bases Théoriques de l'Informatique

Diese Seite ist in Deutsch verfügbar.

This page is available in English.

Cette page n'existe pas en Français.

Ésta página no existe en Español.

UHH > MIN > Informatique > TGI

Mark-Oliver Stehr

Diese Seite ist in Deutsch verfügbar.

This page is available in English.

Cette page n'existe pas en Français.

Ésta página no existe en Español.

Embedding UNITY into the Calculus of Inductive Constructions

Mark-Oliver Stehr

Fachbereichsbericht FBI-HH-B-214/98, Fachbereich Informatik, Universität Hamburg, September 1998

Abrégé:

Ressources:

→ → Informatique → TGI → Équipe

Dernière modification: 17:40 19.05.2011

Responsable du site/mentions légales