Login / Signup

Asymptotics and random sampling for BCI and BCK lambda terms.

Olivier BodiniDanièle GardyAlice Jacquot
Published in: Theor. Comput. Sci. (2013)
Keyphrases