Sciweavers

24 search results - page 1 / 5
» lics 1999
Sort
View
80
Voted
LICS
1999
IEEE
15 years 1 months ago
On Hoare Logic and Kleene Algebra with Tests
Dexter Kozen
LICS
1999
IEEE
15 years 1 months ago
A New Approach to Abstract Syntax Involving Binders
Murdoch Gabbay, Andrew M. Pitts
70
Voted
LICS
1999
IEEE
15 years 1 months ago
Region Analysis and the Polymorphic Lambda Calculus
Anindya Banerjee, Nevin Heintze, Jon G. Riecke