Login / Signup

Ludics with repetitions (Exponentials, Interactive types and Completeness)

Michele BasaldellaClaudia Faggian
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases