L. Méhats

According to our database, L. Méhats authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Coherence in SMCCS and equivalences on derivations in IMLL with unit.

L. Méhats, Sergei Soloviev

Ann. Pure Appl. Log., 2007