Pure Type Systems with More Liberal Rules
Martin Bunder and Wil DekkersVolume:
66
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2694962
Date:
December, 2001
File:
PDF, 425 KB
english, 2001