11 citations · 27 across the 11 of their papers we have counts for
1 paper · 2 filters
Roberto M. Amadio
The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach…