The Weak Normalization of the Simply Typed Lambda-se Calculus
Logic Journal of the Interest Group of Pure and Applied Logic - 2006
BibTex references
@Article\{AKR06,
author = "Arbiser, Ariel and Kamareddine, F. and R\'{\i}os, Alejandro",
title = "The Weak Normalization of the Simply Typed Lambda-se Calculus",
journal = "Logic Journal of the Interest Group of Pure and Applied Logic",
year = "2006",
publisher = "Oxford University Press",
url = "http://publicaciones.dc.uba.ar/Publications/2006/AKR06"
}