Navegar

Colección

Datos Estadísticas

Lista de

Lambda calculus
9
"Factoring Derivation Spaces via Intersection Types" (2018) Barenbaum, P.; Ciruelos, G.; Ryu S. 16th Asian Symposium on Programming Languages and Systems, APLAS 2018. 11275 LNCS:24-44
"Factoring Derivation Spaces via Intersection Types" (2018) Barenbaum, P.; Ciruelos, G.; Ryu S. 16th Asian Symposium on Programming Languages and Systems, APLAS 2018. 11275 LNCS:24-44
"Confluence in Probabilistic Rewriting" (2018) Díaz-Caro, A.; Martínez, G. Electronic Notes in Theoretical Computer Science. 338:115-131
"The first-order hypothetical logic of proofs" (2017) Steren, G.; Bonelli, E. Journal of Logic and Computation. 27(4):1023-1066
"The first-order hypothetical logic of proofs" (2017) Steren, G.; Bonelli, E. Journal of Logic and Computation. 27(4):1023-1066
"The expansion problem in lambda calculi with explicit substitution" (2008) Arbiser, A. Journal of Logic and Computation. 18(6):849-883
"The expansion problem in lambda calculi with explicit substitution" (2008) Arbiser, A. Journal of Logic and Computation. 18(6):849-883
"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
"From higher-order to first-order rewriting" (2001) Bonelli, E.; Kesner, D.; Ríos, A. 12th International Conference on Rewriting Techniques and Applications, RTA 2001. 2051 LNCS:47-62