Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework (2004)

Cached

Download Links

by Mark-oliver Stehr
Venue:In Essays in Memory of Ole-Johan Dahl, volume 2635 of LNCS
Citations:4 - 3 self