Recognizability in the Simply Typed Lambda-Calculus.

Sylvain Salvati

Browse the full WoLLIC paper archive.