Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Lescanne, P.
Volume
Title
210
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP ’01)
Lescanne, P.
Online