Navegar

Colección

Datos Estadísticas

Lista de

Differentiation (calculus)
13
"Ecient type checking for path polymorphism" (2018) Edi, J.;Viso, A.;Bonelli, E. (...)European Regional Development Fund 21st International Conference on Types for Proofs and Programs, TYPES 2015. 69:61-623
"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
"On abstract normalisation beyond neededness" (2017) Bonelli, E.; Kesner, D.; Lombardi, C.; Ríos, A. Theoretical Computer Science. 672:36-63
"The first-order hypothetical logic of proofs" (2017) Steren, G.; Bonelli, E. Journal of Logic and Computation. 27(4):1023-1066
"Type Soundness for Path Polymorphism" (2016) Viso, A.; Bonelli, E.; Ayala-Rincón, M. Electronic Notes in Theoretical Computer Science. 323:235-251
"Periodic solutions of angiogenesis models with time lags" (2012) Amster, P.; Berezansky, L.; Idels, L. Nonlinear Analysis: Real World Applications. 13(1):299-311
"Quantization-based integration methods for delay-differential equations" (2011) Castro, R.; Kofman, E.; Cellier, F.E. Simulation Modelling Practice and Theory. 19(1):314-336
"The expansion problem in lambda calculi with explicit substitution" (2008) Arbiser, A. Journal of Logic and Computation. 18(6):849-883
"Multiparty sessions in SOC" (2008) Bruni, R.; Lanese, I.; Melgratti, H.; Tuosto, E. 10th International Conference on Coordination Models and Languages, COORDINATION 2008. 5052 LNCS:67-82
"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
"Relating the λσ- and λs-styles of explicit substitutions" (2000) Kamareddine, F.; Rìos, A. Journal of Logic and Computation. 10(3):349-380
"Monotone discrete Newton iterations and elimination" (1995) Milaszewicz, J.P. Computers and Mathematics with Applications. 30(1):79-90