3 citations · 3 across the 1 of their papers we have counts for
1 paper
Vladimir Sazonov
A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequent…