Author Info
Name
Affiliation
Papers
J. B. WELLS
ULTRA Group, Heriot-Watt University, Edinburgh EH14 4AS, UK. http://www.macs.hw.ac.uk/ultra
2
Collaborators
Citations 
PageRank 
3
4
0.80
Referers 
Referees 
References 
8
25
21
Title
Citations
PageRank
Year
On Realisability Semantics for Intersection Types with Expansion Variables20.372012
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables20.432008