Propositional Functions and Families of Types (1989)

Cached

Download Links

by Jan M. Smith
Venue:In Workshop on Programming Logic
Citations:1 - 0 self