Login / Signup
L. S. van Benthem Jutting
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
L. S. van Benthem Jutting
Typing in Pure Type Systems
Inf. Comput.
105 (1) (1993)
L. S. van Benthem Jutting
,
James McKinna
,
Robert Pollack
Checking Algorithms for Pure Type Systems.
TYPES
(1993)