8 search results - page 1 / 2 » tphol 1998 |
146
Voted
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
141
Voted
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
186
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
170
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...