11 citations · 27 across the 11 of their papers we have counts for
1 paper · 1 filter
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…