BibTeX
@MISC{Lietz00impredicativityentails,
author = {Peter Lietz and Thomas Streicher},
title = {Impredicativity entails Untypedness},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
