Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Typing in Pure Type Systems
Home
Publications
Typing in Pure Type Systems
Typing in Pure Type Systems
LJ
L.S.V. Jutting
L.S.V. Jutting
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 July 1993
journal article
Published by
Elsevier BV
in
Information and Computation
Vol. 105
(1)
,
30-41
https://doi.org/10.1006/inco.1993.1038
Abstract
No abstract available
Cited by 23 articles