Navegar

Colección

Datos Estadísticas

Lista de

2007
921
Logic Journal of the IGPL
1
"The weak normalization of the simply typed λse-calculus" (2007) Arbiser, A.; Kamareddine, F.; Rios, A. Logic Journal of the IGPL. 15(2):121-147