Simon Finn (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5		Simon Finn, Michael P. Fourman, John Longley: Partial Functions in a Total Setting. J. Autom. Reasoning 18(1): 85-104 (1997)
4		Nick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. TPHOLs 1994: 128-143

Selection of 2 from 5 records - Simon Finn has 7 coauthors