Conference Papers
Year :
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03211224
Submitted on : Wednesday, April 28, 2021-3:28:26 PM
Last modification on : Wednesday, April 28, 2021-3:28:26 PM
Cite
J. Goubault-Larrecq. Ramified higher-order unification. Twelfth Annual IEEE Symposium on Logic in Computer Science, Jun 1997, Warsaw, Poland. pp.410-421, ⟨10.1109/LICS.1997.614966⟩. ⟨hal-03211224⟩
7
View
0
Download