Cited By
View all- Dagnino F(2022)A Meta-theory for Big-step SemanticsACM Transactions on Computational Logic10.1145/352272923:3(1-50)Online publication date: 6-Apr-2022
- Ancona DDagnino FRot JZucca E(2020)A Big Step from Finite to Infinite ComputationsScience of Computer Programming10.1016/j.scico.2020.102492(102492)Online publication date: Jun-2020
- Dagnino FBono VZucca EDezani-Ciancaglini M(2020)Soundness Conditions for Big-Step SemanticsProgramming Languages and Systems10.1007/978-3-030-44914-8_7(169-196)Online publication date: 18-Apr-2020
- Show More Cited By