Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations.

Vincent Moreau, L Thnh Dung Nguyn

Browse the full CSL paper archive.