Search Results - "2012 ACM Subject Classification Theory of computation → Models of computation"

Strategies for Asymptotic Normalization

Authors: Faggian, Claudia Guerrieri, Giulio Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Contributors: Faggian, Claudia Guerrieri, Giulio Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Source: FSCD 2022, International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-03786122 ; FSCD 2022, International Conference on Formal Structures for Computation and Deduction, 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.17⟩

Subject Terms: 2012 ACM Subject Classification Theory of computation → Models of computation, Theory of computation → Equational logic and rewriting, Theory of computation → Lambda calculus phrases rewriting, strategies, normalization, lambda calculus, probabilistic rewriting, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Haifa, Israel

Availability: https://hal.science/hal-03786122
https://hal.science/hal-03786122v1/document
https://hal.science/hal-03786122v1/file/LIPIcs-FSCD-2022-17.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2022.17