L. S. van Benthem Jutting
L. S. van Benthem Jutting.
Typing in pure type systems.
Information and Computation
, 105(1):30-41, July 1993.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database