A Notion of Classical Pure Type System (1997)

Cached

Download Links

by Gilles Barthe , John Hatcliff , Morten Heine Srensen
Venue:Proc. of 13th Ann. Conf. on Math. Found. of Programming Semantics, MFPS'97
Citations:7 - 5 self