ISBD

Notice


Massol ; Calcul symbolique avec des diagrammes de Penrose [Thèse] / Anne Massol ; sous la direction de Yves Lafont
[S.l.] : [s.n.], 1997
1 vol. (121 p.) ; 30 cm
Sujets :
Category theory; homological algebra -- General theory of categories and functors -- Graphs, diagram schemes, precategories,
Computer science -- Software -- Programming languages,
Linear and multilinear algebra; matrix theory -- Basic linear algebra,
Computer science -- Software -- Functional programming and lambda calculus,

Exemplaires

00755-01 - Thèses MAS

There are no comments for this item.

Log in to your account to post a comment.

Languages: English | Français | |