An Interpretation of Kleene's Slash in Type Theory (1993)

Cached

Download Links

by Jan M. Smith
Venue:Informal Proceedings of the Second Workshop on Logical Frameworks, pages 337--342. Esprit Basic Research Action
Citations:2 - 1 self