Login / Signup

Bounding linear head reduction and visible interaction through skeletons.

Pierre Clairambault
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases