Smith: Programming in Martin L#f's Type Theory (1990)

by B Norstrm, K Petersson, J M