N. Lafaye de Micheaux

According to our database, N. Lafaye de Micheaux authored at least 2 papers between 1988 and 1996.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1996

Confluence for Graph Transformations.

N. Lafaye de Micheaux, C. Rambau

Theor. Comput. Sci., 1996

1988

Intensional Equality in Categories With Structure and Coherence Problems.

Anne Preller, N. Lafaye de Micheaux

Math. Log. Q., 1988