Hugo Herbelin

Own Thesis
Related Theses

Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes. (Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies).

H. Herbelin. Paris Diderot University, France, (1995)

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Hugo Herbelin
Editor:
Other:

No resources found

sort by
added at
title
author
publication date
entry type