An interpretation of Kleene's slash in type theory (1993)

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